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 | Mark BROKEN: Checksum and size mismatch (diff) | |
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
Notes
Notes:
svn path=/head/; revision=378196
| -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 |