diff options
author | wiz <wiz> | 2009-12-07 16:39:12 +0000 |
---|---|---|
committer | wiz <wiz> | 2009-12-07 16:39:12 +0000 |
commit | 2d79888c9c4e9a5e1d97f26be2295d93b352905a (patch) | |
tree | f68ebc9a514b947d3eef166bb687a169a98134c7 /devel/frama-c | |
parent | e1f1ef548202cec88ec671f61c405396b0029e8e (diff) | |
download | pkgsrc-2d79888c9c4e9a5e1d97f26be2295d93b352905a.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/Makefile | 5 | ||||
-rw-r--r-- | devel/frama-c/PLIST | 11 | ||||
-rw-r--r-- | devel/frama-c/PLIST.gnomecanvas | 10 | ||||
-rw-r--r-- | devel/frama-c/options.mk | 13 |
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 |