diff options
| author | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-05-11 13:15:45 +0000 |
|---|---|---|
| committer | Baptiste Daroussin <bapt@FreeBSD.org> | 2013-05-11 13:15:45 +0000 |
| commit | 8e333308211c2bdccff1ce35bd20137270945a6e (patch) | |
| tree | 5ff68e9d5b3d3836bb14f862c334a93871111f7f /devel/mono-addins | |
| parent | 9809cc72d14ace198094bec1b7a8ccfa76d64295 (diff) | |
| download | ports-8e333308211c2bdccff1ce35bd20137270945a6e.tar.gz ports-8e333308211c2bdccff1ce35bd20137270945a6e.zip | |
Notes
Diffstat (limited to 'devel/mono-addins')
| -rw-r--r-- | devel/mono-addins/Makefile | 10 |
1 files changed, 3 insertions, 7 deletions
diff --git a/devel/mono-addins/Makefile b/devel/mono-addins/Makefile index 43c008043bcf..010aa572739d 100644 --- a/devel/mono-addins/Makefile +++ b/devel/mono-addins/Makefile @@ -1,9 +1,4 @@ -# New ports collection makefile for: mono-addins -# Date created: Aug 25 2008 -# Whom: Florent Thoumie <flz@FreeBSD.org> -# # $FreeBSD$ -# PORTNAME= mono-addins PORTVERSION= 0.6.2 @@ -24,7 +19,8 @@ USE_GMAKE= yes USE_GNOME= gnomehack pkgconfig MAKE_JOBS_UNSAFE= yes -OPTIONS= GTK2 "Enable GTK support" on +OPTIONS_DEFINE= GTK2 +OPTIONS_DEFAULT= GTK2 MAN1= mautil.1 @@ -33,7 +29,7 @@ PLIST_SUB+= VER=0.6.0 .include <bsd.port.pre.mk> .include "${.CURDIR}/../../lang/mono/bsd.mono.mk" -.if !defined(WITHOUT_GTK2) && !defined(WITHOUT_GUI) && !defined(WITHOUT_X11) +.if ${PORT_OPTIONS:MGTK2} && ${PORT_OPTIONS:MGUI} && ${PORT_OPTIONS:MX11} USE_GNOME+= gtksharp20 CONFIGURE_ARGS+= --enable-gui PLIST_SUB+= OPT_GTK2="" |