Date: Sat, 31 Jan 2015 09:54:15 +0000 (UTC) From: Antoine Brodin <antoine@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r378196 - head/devel/frama-c Message-ID: <201501310954.t0V9sFjC061038@svn.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201501310954.t0V9sFjC061038>