diff options
| author | Antoine Brodin <antoine@FreeBSD.org> | 2015-01-31 09:54:15 +0000 |
|---|---|---|
| committer | Antoine Brodin <antoine@FreeBSD.org> | 2015-01-31 09:54:15 +0000 |
| commit | 0323771ed3b21087bdea4d076fbcce3806aa49c5 (patch) | |
| tree | baf3bce0c72c51df6587a0c567f129c6ebf23084 | |
| parent | e33aca5e9c1748e08f255f9c9f079ab066f28d58 (diff) | |
| download | ports-0323771ed3b21087bdea4d076fbcce3806aa49c5.tar.gz ports-0323771ed3b21087bdea4d076fbcce3806aa49c5.zip | |
Notes
| -rw-r--r-- | devel/frama-c/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/devel/frama-c/Makefile b/devel/frama-c/Makefile index f6c25d191c6d..9573a3a628ad 100644 --- a/devel/frama-c/Makefile +++ b/devel/frama-c/Makefile @@ -13,6 +13,8 @@ COMMENT= Extensible platform for source-code analysis of C LICENSE= LGPL21 +BROKEN= Fails to build with ocamlgraph 1.8.6 + BUILD_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph RUN_DEPENDS= ${LOCALBASE}/lib/ocaml/ocamlgraph/graph.a:${PORTSDIR}/math/ocaml-ocamlgraph |