mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-01 01:17:02 +00:00
Code Issues Releases Activity

Mark BROKEN: Fails to build with ocamlgraph 1.8.6

Browse Source 
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
This commit is contained in:
Antoine Brodin 2015-01-31 09:54:15 +00:00
parent e33aca5e9c
commit 0323771ed3
Notes: svn2git 2021-03-31 03:12:20 +00:00 
svn path=/head/; revision=378196
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
devel/frama-c/Makefile
View File

@ -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