Source: alt-ergo Version: 0.95.2-1 Severity: serious Tags: jessie sid User: [email protected] Usertags: qa-ftbfs-20140329 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): > ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I > src/util -I src/structures -I src/theories -I src/instances -I src/sat -I > src/preprocess -I src/parsing -I src/gui -I src/main > src/theories/instantiation.mli > ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I > +threads -I src/util -I src/structures -I src/theories -I src/instances -I > src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack > AltErgo src/theories/instantiation.ml > ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I > src/util -I src/structures -I src/theories -I src/instances -I src/sat -I > src/preprocess -I src/parsing -I src/gui -I src/main > src/theories/custom_theory.mli > ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I > +threads -I src/util -I src/structures -I src/theories -I src/instances -I > src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack > AltErgo src/theories/custom_theory.ml > ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I > src/util -I src/structures -I src/theories -I src/instances -I src/sat -I > src/preprocess -I src/parsing -I src/gui -I src/main src/theories/cc.mli > ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I > +threads -I src/util -I src/structures -I src/theories -I src/instances -I > src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack > AltErgo src/theories/cc.ml > ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I > src/util -I src/structures -I src/theories -I src/instances -I src/sat -I > src/preprocess -I src/parsing -I src/gui -I src/main src/sat/sat.mli > ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I > +threads -I src/util -I src/structures -I src/theories -I src/instances -I > src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack > AltErgo src/sat/sat.ml > ocamlc -c -annot -I +zarith -I +ocamlgraph -I +lablgtk2 -I +threads -I > src/util -I src/structures -I src/theories -I src/instances -I src/sat -I > src/preprocess -I src/parsing -I src/gui -I src/main > src/preprocess/pruning.mli > ocamlopt -c -annot -inline 1000 -I +zarith -I +ocamlgraph -I +lablgtk2 -I > +threads -I src/util -I src/structures -I src/theories -I src/instances -I > src/sat -I src/preprocess -I src/parsing -I src/gui -I src/main -for-pack > AltErgo src/preprocess/pruning.ml > File "src/preprocess/pruning.ml", line 59, characters 3-349: > Error: Signature mismatch: > ... > Values do not match: > val vertex_attributes : > HS.t -> Graph.Graphviz.DotAttributes.vertex list > is not included in > val vertex_attributes : > V.t -> Graph.Graphviz.DotAttributes.vertex list > File "src/preprocess/pruning.ml", line 64, characters 8-25: > Actual declaration > make[2]: *** [src/preprocess/pruning.cmx] Error 2 The full build log is available from: http://aws-logs.debian.net/ftbfs-logs/2014/03/29/alt-ergo_0.95.2-1_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. -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
