From owner-svn-ports-all@FreeBSD.ORG Thu Mar 7 03:46:48 2013 Return-Path: Delivered-To: svn-ports-all@freebsd.org Received: from mx1.freebsd.org (mx1.FreeBSD.org [8.8.178.115]) by hub.freebsd.org (Postfix) with ESMTP id 005F2B0D; Thu, 7 Mar 2013 03:46:47 +0000 (UTC) (envelope-from bf@FreeBSD.org) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) by mx1.freebsd.org (Postfix) with ESMTP id E7856CFE; Thu, 7 Mar 2013 03:46:47 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.6/8.14.6) with ESMTP id r273klfH089525; Thu, 7 Mar 2013 03:46:47 GMT (envelope-from bf@svn.freebsd.org) Received: (from bf@localhost) by svn.freebsd.org (8.14.6/8.14.5/Submit) id r273klN9089524; Thu, 7 Mar 2013 03:46:47 GMT (envelope-from bf@svn.freebsd.org) Message-Id: <201303070346.r273klN9089524@svn.freebsd.org> From: Brendan Fabeny Date: Thu, 7 Mar 2013 03:46:47 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r313560 - head/math/alt-ergo X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-all@freebsd.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: SVN commit messages for the ports tree List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Thu, 07 Mar 2013 03:46:48 -0000 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 -.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" ; \