summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--devel/frama-c/Makefile2
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