summaryrefslogtreecommitdiff
path: root/devel/frama-c
diff options
context:
space:
mode:
authorwiz <wiz@pkgsrc.org>2009-12-07 16:39:12 +0000
committerwiz <wiz@pkgsrc.org>2009-12-07 16:39:12 +0000
commit7e37467d225d1add16ab13da38d65cf6d1d8c7d6 (patch)
treef68ebc9a514b947d3eef166bb687a169a98134c7 /devel/frama-c
parent0b6813b4dbf80cd591cf37a18dc6b12924c69a05 (diff)
downloadpkgsrc-7e37467d225d1add16ab13da38d65cf6d1d8c7d6.tar.gz
Add a gnomecanvas option to fix build when lablgtk was compiled without
gnomecanvas support. Actually, it depends completely on lablgtk's gnomecanvas option -- but I didn't manage to check for that. The way I know only works for inclusion in buildlink3.mk files.
Diffstat (limited to 'devel/frama-c')
-rw-r--r--devel/frama-c/Makefile5
-rw-r--r--devel/frama-c/PLIST11
-rw-r--r--devel/frama-c/PLIST.gnomecanvas10
-rw-r--r--devel/frama-c/options.mk13
4 files changed, 27 insertions, 12 deletions
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile
index 97c4f437e2c..37324f7cc73 100644
--- a/devel/frama-c/Makefile
+++ b/devel/frama-c/Makefile
@@ -1,4 +1,4 @@
-# $NetBSD: Makefile,v 1.1.1.1 2009/09/11 15:09:35 tonio Exp $
+# $NetBSD: Makefile,v 1.2 2009/12/07 16:39:12 wiz Exp $
#
DISTNAME= frama-c-Beryllium-20090901
@@ -16,8 +16,9 @@ PKG_DESTDIR_SUPPORT= user-destdir
USE_TOOLS+= gmake
GNU_CONFIGURE= yes
+.include "options.mk"
+
.include "../../x11/gtksourceview/buildlink3.mk"
-.include "../../graphics/libgnomecanvas/buildlink3.mk"
.include "../../x11/lablgtk/buildlink3.mk"
.include "../../lang/ocaml/buildlink3.mk"
.include "../../mk/bsd.pkg.mk"
diff --git a/devel/frama-c/PLIST b/devel/frama-c/PLIST
index 9fb523e741b..0bfd049cca5 100644
--- a/devel/frama-c/PLIST
+++ b/devel/frama-c/PLIST
@@ -1,4 +1,4 @@
-@comment $NetBSD: PLIST,v 1.1.1.1 2009/09/11 15:09:35 tonio Exp $
+@comment $NetBSD: PLIST,v 1.2 2009/12/07 16:39:12 wiz Exp $
bin/caduceus
bin/frama-c
bin/frama-c-gui
@@ -56,14 +56,10 @@ lib/frama-c/clexer.cmi
lib/frama-c/clist.cmi
lib/frama-c/cmdline.cmi
lib/frama-c/computation.cmi
-lib/frama-c/concreteModel.cmi
lib/frama-c/config.cmi
lib/frama-c/cparser.cmi
lib/frama-c/cprint.cmi
lib/frama-c/cvalue_type.cmi
-lib/frama-c/dGraphModel.cmi
-lib/frama-c/dGraphView.cmi
-lib/frama-c/dGraphViewItem.cmi
lib/frama-c/dataflow.cmi
lib/frama-c/datatype.cmi
lib/frama-c/db.cmi
@@ -185,16 +181,11 @@ lib/frama-c/unmarshal_nums.cmi
lib/frama-c/unroll_loops.cmi
lib/frama-c/usedef.cmi
lib/frama-c/utf8_logic.cmi
-lib/frama-c/viewGraph.cmi
-lib/frama-c/viewGraph_select.cmi
-lib/frama-c/viewGraph_utils.cmi
lib/frama-c/visitor.cmi
lib/frama-c/warning_manager.cmi
lib/frama-c/whitetrack.cmi
lib/frama-c/widen.cmi
lib/frama-c/widen_type.cmi
-lib/frama-c/xDot.cmi
-lib/frama-c/xDotDraw.cmi
lib/frama-c/zrapp.cmi
man/man1/frama-c-gui.1
man/man1/frama-c.1
diff --git a/devel/frama-c/PLIST.gnomecanvas b/devel/frama-c/PLIST.gnomecanvas
new file mode 100644
index 00000000000..4f45f26e077
--- /dev/null
+++ b/devel/frama-c/PLIST.gnomecanvas
@@ -0,0 +1,10 @@
+@comment $NetBSD: PLIST.gnomecanvas,v 1.1 2009/12/07 16:39:12 wiz Exp $
+lib/frama-c/concreteModel.cmi
+lib/frama-c/dGraphModel.cmi
+lib/frama-c/dGraphView.cmi
+lib/frama-c/dGraphViewItem.cmi
+lib/frama-c/viewGraph.cmi
+lib/frama-c/viewGraph_select.cmi
+lib/frama-c/viewGraph_utils.cmi
+lib/frama-c/xDot.cmi
+lib/frama-c/xDotDraw.cmi
diff --git a/devel/frama-c/options.mk b/devel/frama-c/options.mk
new file mode 100644
index 00000000000..4b37c661291
--- /dev/null
+++ b/devel/frama-c/options.mk
@@ -0,0 +1,13 @@
+# $NetBSD: options.mk,v 1.1 2009/12/07 16:39:12 wiz 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
+
+.include "../../mk/bsd.options.mk"
+
+.if !empty(PKG_OPTIONS:Mgnomecanvas)
+PLIST_SRC+= PLIST.gnomecanvas
+.endif