diff options
| author | Brendan Fabeny <bf@FreeBSD.org> | 2012-06-27 07:16:14 +0000 |
|---|---|---|
| committer | Brendan Fabeny <bf@FreeBSD.org> | 2012-06-27 07:16:14 +0000 |
| commit | c2757145db07706250ca0ecc996cbade49436cbd (patch) | |
| tree | 0e4e04487a212873c992dd63121c533a569837b5 /devel/frama-c | |
| parent | 30cafec8885f1ce5878dc5685983af4cede12b6c (diff) | |
| download | ports-c2757145db07706250ca0ecc996cbade49436cbd.tar.gz ports-c2757145db07706250ca0ecc996cbade49436cbd.zip | |
Notes
Diffstat (limited to 'devel/frama-c')
| -rw-r--r-- | devel/frama-c/Makefile | 9 | ||||
| -rw-r--r-- | devel/frama-c/pkg-plist | 5 |
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 |