diff options
Diffstat (limited to 'devel/frama-c/options.mk')
-rw-r--r-- | devel/frama-c/options.mk | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/devel/frama-c/options.mk b/devel/frama-c/options.mk index 4eab8584ac7..e9ee4ac2f6e 100644 --- a/devel/frama-c/options.mk +++ b/devel/frama-c/options.mk @@ -1,15 +1,17 @@ -# $NetBSD: options.mk,v 1.2 2009/12/21 12:45:38 joerg Exp $ +# $NetBSD: options.mk,v 1.3 2011/12/25 15:52:12 asau Exp $ PKG_OPTIONS_VAR= PKG_OPTIONS.frama-c -PKG_SUPPORTED_OPTIONS= gnomecanvas -# actually, depends completely on lablgtk's gnomecanvas option -# but I didn't manage to check for that. -PKG_SUGGESTED_OPTIONS= gnomecanvas +PKG_SUPPORTED_OPTIONS= gui +PKG_SUGGESTED_OPTIONS= gui + +PLIST_VARS= gui .include "../../mk/bsd.options.mk" -.if !empty(PKG_OPTIONS:Mgnomecanvas) -PLIST_SRC+= PLIST.gnomecanvas +.if !empty(PKG_OPTIONS:Mgui) +PLIST.gui= yes -.include "../../graphics/libgnomecanvas/buildlink3.mk" +.include "../../x11/gtksourceview2/buildlink3.mk" +.else +CONFIGURE_ARGS+= --enable-gui=no .endif |