Date: Thu, 7 Mar 2013 03:46:47 +0000 (UTC) From: Brendan Fabeny <bf@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r313560 - head/math/alt-ergo Message-ID: <201303070346.r273klN9089524@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
Author: bf Date: Thu Mar 7 03:46:47 2013 New Revision: 313560 URL: http://svnweb.freebsd.org/changeset/ports/313560 Log: switch to the new options format Modified: head/math/alt-ergo/Makefile Modified: head/math/alt-ergo/Makefile ============================================================================== --- head/math/alt-ergo/Makefile Thu Mar 7 03:25:10 2013 (r313559) +++ head/math/alt-ergo/Makefile Thu Mar 7 03:46:47 2013 (r313560) @@ -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" ; \
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201303070346.r273klN9089524>