svn commit: r378196 - head/devel/frama-c

[Antoine Brodin]

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