diff options
| author | mi <mi@FreeBSD.org> | 2007-05-28 22:37:53 +0800 |
|---|---|---|
| committer | mi <mi@FreeBSD.org> | 2007-05-28 22:37:53 +0800 |
| commit | 23a94fd8edea438b389e5bbf215e49e70c6a823d (patch) | |
| tree | ae893d3c039fa1837720b175b882bb3072032ca9 /textproc/htmldoc | |
| parent | 8f105f34731531d9c26d676e8f016a8681b9f936 (diff) | |
| download | freebsd-ports-gnome-23a94fd8edea438b389e5bbf215e49e70c6a823d.tar.gz freebsd-ports-gnome-23a94fd8edea438b389e5bbf215e49e70c6a823d.tar.zst freebsd-ports-gnome-23a94fd8edea438b389e5bbf215e49e70c6a823d.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
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> |