svn commit: r378196 - head/devel/frama-c
Antoine Brodin
antoine at FreeBSD.org
Sat Jan 31 09:54:16 UTC 2015
Author: antoine
Date: Sat Jan 31 09:54:15 2015
New Revision: 378196
URL: https://svnweb.freebsd.org/changeset/ports/378196
QAT: https://qat.redports.org/buildarchive/r378196/
Log:
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
Modified:
head/devel/frama-c/Makefile
Modified: head/devel/frama-c/Makefile
==============================================================================
--- head/devel/frama-c/Makefile Sat Jan 31 09:49:22 2015 (r378195)
+++ head/devel/frama-c/Makefile Sat Jan 31 09:54:15 2015 (r378196)
@@ -13,6 +13,8 @@ COMMENT= Extensible platform for source-
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
More information about the svn-ports-head
mailing list