diff options
author | Mikhail Teterin <mi@FreeBSD.org> | 2007-05-28 14:37:53 +0000 |
---|---|---|
committer | Mikhail Teterin <mi@FreeBSD.org> | 2007-05-28 14:37:53 +0000 |
commit | 6bfcbbe2ce172cacae1ae3646c90b36bdd3d7579 (patch) | |
tree | 76c0786bee2313c8e18076f3f6ad68e1397e30a2 /textproc/htmldoc | |
parent | c9ffbfd76d1328e19c72c75995592181577c3938 (diff) | |
download | ports-6bfcbbe2ce172cacae1ae3646c90b36bdd3d7579.tar.gz ports-6bfcbbe2ce172cacae1ae3646c90b36bdd3d7579.zip |
Use `off' instead of `no' for the default value of OPTION.
Add an explicit --disable-gui to CONFIGURE_ARGS, when no GUI
is requested. Without this, vendors software would still build
with GUI-support, if fltk is present on the system.
Submitted by: Eygene Ryabinkin
PR: ports/113020
Notes
Notes:
svn path=/head/; revision=192183
Diffstat (limited to 'textproc/htmldoc')
-rw-r--r-- | textproc/htmldoc/Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/textproc/htmldoc/Makefile b/textproc/htmldoc/Makefile index c136f9549112..339e8a634a2e 100644 --- a/textproc/htmldoc/Makefile +++ b/textproc/htmldoc/Makefile @@ -19,7 +19,7 @@ COMMENT= Converts HTML to PDF and/or PostScript LIB_DEPENDS= jpeg:${PORTSDIR}/graphics/jpeg \ png:${PORTSDIR}/graphics/png -OPTIONS= HTMLDOCGUI "Build GUI front-end" no +OPTIONS= HTMLDOCGUI "Build GUI front-end" off # .bz2 file is available since Aug 2, but we don't want to # start mirroring _in addition to_ the .gz variant. When the # vendor's release is updated again, we should switch to .bz2 @@ -51,5 +51,7 @@ post-configure: .if !defined(WITHOUT_HTMLDOCGUI) LIB_DEPENDS+= fltk:${PORTSDIR}/x11-toolkits/fltk CONFIGURE_ARGS+=--enable-gui +.else +CONFIGURE_ARGS+=--disable-gui .endif .include <bsd.port.post.mk> |