aboutsummaryrefslogtreecommitdiff
path: root/devel/frama-c
diff options
context:
space:
mode:
authorBrendan Fabeny <bf@FreeBSD.org>2012-06-27 07:16:14 +0000
committerBrendan Fabeny <bf@FreeBSD.org>2012-06-27 07:16:14 +0000
commitc2757145db07706250ca0ecc996cbade49436cbd (patch)
tree0e4e04487a212873c992dd63121c533a569837b5 /devel/frama-c
parent30cafec8885f1ce5878dc5685983af4cede12b6c (diff)
downloadports-c2757145db07706250ca0ecc996cbade49436cbd.tar.gz
ports-c2757145db07706250ca0ecc996cbade49436cbd.zip
Notes
Diffstat (limited to 'devel/frama-c')
-rw-r--r--devel/frama-c/Makefile9
-rw-r--r--devel/frama-c/pkg-plist5
2 files changed, 6 insertions, 8 deletions
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile
index af0972bc0ed4..c4054490f658 100644
--- a/devel/frama-c/Makefile
+++ b/devel/frama-c/Makefile
@@ -7,9 +7,8 @@
PORTNAME= frama-c
DISTVERSIONPREFIX= Nitrogen-
-PORTREVISION= 1
DISTVERSION= 20111001
-PORTREVISION= 1
+PORTREVISION= 2
CATEGORIES= devel
MASTER_SITES= http://frama-c.com/download/ LOCAL/bf
@@ -18,11 +17,6 @@ COMMENT= Extensible platform for source-code analysis of C
LICENSE= LGPL21
-BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph
-RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph
-
-BROKEN= does not build
-
GNU_CONFIGURE= yes
MAKE_ENV+= FRAMAC_LIBDIR="${PREFIX}/lib/frama-c"
MAN1= frama-c.1 frama-c-gui.1
@@ -111,7 +105,6 @@ post-patch:
@${REINPLACE_CMD} -e 's|HAS_ALTERGO=$$||' \
-e '\|case $$ALTERGO_VERSION in|{N; s|0\.92\.2|0.94*|;}' \
-e 's|HAS_COQ=$$||' \
- -e '\|case $$OCAMLGRAPH_VERSION in|{N; s|1\.8|&*|;}' \
${WRKSRC}/configure
.if defined(WITH_GUI)
diff --git a/devel/frama-c/pkg-plist b/devel/frama-c/pkg-plist
index 541813d6d3f1..5e82a1904188 100644
--- a/devel/frama-c/pkg-plist
+++ b/devel/frama-c/pkg-plist
@@ -19,6 +19,7 @@ bin/ptests.byte
%%GUI%%lib/frama-c/design.cmo
%%GUI%%lib/frama-c/design.cmx
%%GUI%%lib/frama-c/design.o
+%%GUI%%lib/frama-c/dgraph.cmi
%%GUI%%lib/frama-c/file_manager.cmi
%%GUI%%lib/frama-c/file_manager.cmo
%%GUI%%lib/frama-c/file_manager.cmx
@@ -396,6 +397,10 @@ lib/frama-c/globals.cmi
lib/frama-c/globals.cmo
lib/frama-c/globals.cmx
lib/frama-c/globals.o
+lib/frama-c/graph.cmi
+lib/frama-c/graph.cmo
+lib/frama-c/graph.cmx
+lib/frama-c/graph.o
lib/frama-c/growArray.cmi
lib/frama-c/growArray.cmo
lib/frama-c/growArray.cmx