diff options
| author | pav <pav@FreeBSD.org> | 2012-06-27 04:55:55 +0800 |
|---|---|---|
| committer | pav <pav@FreeBSD.org> | 2012-06-27 04:55:55 +0800 |
| commit | ffbdd927561cf3f5841b81d46fe21b8d146a1263 (patch) | |
| tree | 09ef8341564935171a96cbf290ad977615be4a70 /devel/frama-c | |
| parent | 916023b1afa7dccf79edef614c8f5bf1bd1dca8e (diff) | |
| download | freebsd-ports-gnome-ffbdd927561cf3f5841b81d46fe21b8d146a1263.tar.gz freebsd-ports-gnome-ffbdd927561cf3f5841b81d46fe21b8d146a1263.tar.zst freebsd-ports-gnome-ffbdd927561cf3f5841b81d46fe21b8d146a1263.zip | |
- Mark BROKEN: does not build
The field `compare' is required but not provided
gmake: *** [src/misc/service_graph.cmo] Error 2
Reported by: pointyhat
Diffstat (limited to 'devel/frama-c')
| -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 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 |