diff options
| author | antoine <antoine@FreeBSD.org> | 2015-01-31 17:54:15 +0800 |
|---|---|---|
| committer | antoine <antoine@FreeBSD.org> | 2015-01-31 17:54:15 +0800 |
| commit | 8ed6b1420674eff2873cb50f406821f946a75386 (patch) | |
| tree | baf3bce0c72c51df6587a0c567f129c6ebf23084 /devel | |
| parent | 01c4ffe927fd858068fa55c685f7dabb76254e3e (diff) | |
| download | freebsd-ports-gnome-8ed6b1420674eff2873cb50f406821f946a75386.tar.gz freebsd-ports-gnome-8ed6b1420674eff2873cb50f406821f946a75386.tar.zst freebsd-ports-gnome-8ed6b1420674eff2873cb50f406821f946a75386.zip | |
Mark BROKEN: Fails to build with ocamlgraph 1.8.6
Ocamlc src/logic/property_status.cmi
Ocamlc src/logic/property_status.cmo
File "src/logic/property_status.ml", line 1444, characters 4-2019:
Error: Signature mismatch:
...
Values do not match:
val vertex_attributes :
v ->
[> `Color of int
| `Label of string
| `Shape of [> `Box | `Diamond ]
| `Style of [> `Bold | `Filled ]
| `Width of float ]
list
is not included in
val vertex_attributes :
V.t -> Graph.Graphviz.DotAttributes.vertex list
File "src/logic/property_status.ml", line 1479, characters 16-33:
Actual declaration
share/Makefile.generic:75: recipe for target 'src/logic/property_status.cmo' failed
Reported by: pkg-fallout
Diffstat (limited to 'devel')
| -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 |