Bug#746091: frama-c: FTBFS: Error: Signature mismatch
Source: frama-c
Version: 20130601+fluorine3+dfsg-2
Severity: serious
Tags: jessie sid
User: debian-qa@lists.debian.org
Usertags: qa-ftbfs-20140426 qa-ftbfs
Justification: FTBFS on amd64
Hi,
During a rebuild of all packages in sid, your package failed to build on
amd64.
Relevant part (hopefully):
>
> Warning 41: Never_tried belongs to several types: consolidated_status status
> The first one was selected. Please disambiguate if this is wrong.
> File "src/logic/property_status.ml", line 839, characters 9-20:
> Warning 41: Never_tried belongs to several types: consolidated_status status
> The first one was selected. Please disambiguate if this is wrong.
> File "src/logic/property_status.ml", line 881, characters 9-20:
> Warning 41: Never_tried belongs to several types: consolidated_status status
> The first one was selected. Please disambiguate if this is wrong.
> File "src/logic/property_status.ml", line 964, characters 6-17:
> Warning 41: Never_tried belongs to several types: consolidated_status status
> The first one was selected. Please disambiguate if this is wrong.
> File "src/logic/property_status.ml", line 1235, characters 35-46:
> Warning 41: Never_tried belongs to several types: t status
> The first one was selected. Please disambiguate if this is wrong.
> File "src/logic/property_status.ml", line 1392, characters 4-1999:
> 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 1425, characters 16-33:
> Actual declaration
> make[1]: *** [src/logic/property_status.cmo] Error 2
The full build log is available from:
http://aws-logs.debian.net/ftbfs-logs/2014/04/26/frama-c_20130601+fluorine3+dfsg-2_unstable.log
A list of current common problems and possible solutions is available at
http://wiki.debian.org/qa.debian.org/FTBFS . You're welcome to contribute!
About the archive rebuild: The rebuild was done on EC2 VM instances from
Amazon Web Services, using a clean, minimal and up-to-date chroot. Every
failed build was retried once to eliminate random failures.
Reply to: