aboutsummaryrefslogtreecommitdiff
path: root/devel/frama-c
diff options
context:
space:
mode:
authorPav Lucistnik <pav@FreeBSD.org>2012-06-26 20:55:55 +0000
committerPav Lucistnik <pav@FreeBSD.org>2012-06-26 20:55:55 +0000
commit97072666cdb6de88f24e11535002129e5669832b (patch)
tree959bfb25b5e100a8a4b514176717ed30bd2a5b46 /devel/frama-c
parent0ae1b739cd5ce67e6809e48cb25fd62dcfd83233 (diff)
downloadports-97072666cdb6de88f24e11535002129e5669832b.tar.gz
ports-97072666cdb6de88f24e11535002129e5669832b.zip
Notes
Diffstat (limited to 'devel/frama-c')
-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 2e8e04f04430..af0972bc0ed4 100644
--- a/devel/frama-c/Makefile
+++ b/devel/frama-c/Makefile
@@ -21,6 +21,8 @@ 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