diff options
| author | Brendan Fabeny <bf@FreeBSD.org> | 2013-03-07 03:46:47 +0000 |
|---|---|---|
| committer | Brendan Fabeny <bf@FreeBSD.org> | 2013-03-07 03:46:47 +0000 |
| commit | 4cc34ccea918de3be9c62620ff86f72606f5a65a (patch) | |
| tree | 111977423fecd1e93a28ff61dedb529d7565ed17 /math | |
| parent | 6910bf819aea08bdd745916858b2def318991151 (diff) | |
| download | ports-4cc34ccea918de3be9c62620ff86f72606f5a65a.tar.gz ports-4cc34ccea918de3be9c62620ff86f72606f5a65a.zip | |
Notes
Diffstat (limited to 'math')
| -rw-r--r-- | math/alt-ergo/Makefile | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/math/alt-ergo/Makefile b/math/alt-ergo/Makefile index 63cb2ec83f8a..8d55eaf0444a 100644 --- a/math/alt-ergo/Makefile +++ b/math/alt-ergo/Makefile @@ -24,11 +24,12 @@ USE_OCAML= yes MAN1= alt-ergo.1 -OPTIONS= GUI "Build the GUI" on +OPTIONS_DEFINE= GUI +OPTIONS_DEFAULT= GUI .include <bsd.port.options.mk> -.if defined(WITH_GUI) +.if ${PORT_OPTIONS:MGUI} BUILD_DEPENDS += lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 RUN_DEPENDS+= lablgtk2:${PORTSDIR}/x11-toolkits/ocaml-lablgtk2 ALL_TARGET= all gui @@ -49,7 +50,7 @@ post-patch: @${REINPLACE_CMD} -Ee 's@(\+|/)(lablgtk2)@\1site-lib/\2@' \ ${WRKSRC}/configure -.if defined(WITH_GUI) +.if ${PORT_OPTIONS:MGUI} pre-configure: @(if [ ! -e ${LOCALBASE}/${OCAML_SITELIBDIR}/lablgtk2/lablgtksourceview2.cmxa ] ; then \ ${ECHO_MSG} "==> The WITH_GUI option for ${PKGNAME} requires" ; \ |