← Back to PR #29083
Build Log: frama_c_codex.1.0-for-opam
Status: DEPENDENCY FAILED
Log Output
Processing: [default: loading data]
[codex.1.0-rc1: http]
[codex.1.0-rc1: extract]
-> retrieved codex.1.0-rc1 (https://github.com/codex-semantics-library/codex/archive/refs/tags/1.0-for-opam.tar.gz)
[codex: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "codex" "-j" "255" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/codex.1.0-rc1)
- (cd _build/default/utils && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -D_FILE_OFFSET_BITS=64 -O2 -fno-strict-aliasing -fwrapv -fPIC -pthread -g -I /home/opam/.opam/default/lib/ocaml -o int_builtins_c.o -c int_builtins_c.c)
- int_builtins_c.c:99:23: warning: conflicting types for built-in function 'ffs'; expected 'int(int)' [-Wbuiltin-declaration-mismatch]
- 99 | static inline uintnat ffs(uintnat v){
- | ^~~
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I utils/tracelog/.tracelog.objs/byte -I /home/opam/.opam/default/lib/ocaml/unix -cmi-file utils/tracelog/.tracelog.objs/byte/tracelog.cmi -no-alias-deps -open Tracelog__ -o utils/tracelog/.tracelog.objs/byte/tracelog.cmo -c -impl utils/tracelog/tracelog.ml)
- File "utils/tracelog/tracelog.ml", line 232, characters 12-23:
- 232 | let colored_log fmt =
- ^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable colored_log.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I fixpoint/.Fixpoint.objs/byte -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.okasakimap.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Wto.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/byte/fixpoint__Wto.cmo -c -impl fixpoint/wto.ml)
- File "fixpoint/wto.ml", line 324, characters 19-23:
- 324 | let partition ?pref ~init ~succs =
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I utils/tracelog/.tracelog.objs/byte -I utils/tracelog/.tracelog.objs/native -I /home/opam/.opam/default/lib/ocaml/unix -cmi-file utils/tracelog/.tracelog.objs/byte/tracelog.cmi -no-alias-deps -open Tracelog__ -o utils/tracelog/.tracelog.objs/native/tracelog.cmx -c -impl utils/tracelog/tracelog.ml)
- File "utils/tracelog/tracelog.ml", line 232, characters 12-23:
- 232 | let colored_log fmt =
- ^^^^^^^^^^^
- Warning 26 [unused-var]: unused variable colored_log.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I fixpoint/.Fixpoint.objs/byte -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.okasakimap.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Wto_iteration.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/byte/fixpoint__Wto_iteration.cmo -c -impl fixpoint/wto_iteration.ml)
- File "fixpoint/wto_iteration.ml", line 116, characters 36-37:
- 116 | | Wto.Component(head,part) as c ->
- ^
- Warning 26 [unused-var]: unused variable c.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I smtbackend/.Smtbackend.objs/byte -I /home/opam/.opam/default/lib/zarith -I .codex_config.objs/byte -I .codex_log.objs/byte -cmi-file smtbackend/.Smtbackend.objs/byte/smtbackend__Smtbackend_smtlib.cmi -no-alias-deps -open Smtbackend__ -o smtbackend/.Smtbackend.objs/byte/smtbackend__Smtbackend_smtlib.cmo -c -impl smtbackend/smtbackend_smtlib.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I fixpoint/.Fixpoint.objs/byte -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.okasakimap.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Fixpoint_wto.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/byte/fixpoint__Fixpoint_wto.cmo -c -impl fixpoint/fixpoint_wto.ml)
- File "fixpoint/fixpoint_wto.ml", line 98, characters 34-35:
- 98 | | Wto.Component(head,part) as c ->
- ^
- Warning 26 [unused-var]: unused variable c.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I transfer_functions/.transfer_functions.objs/byte -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -cmi-file transfer_functions/.transfer_functions.objs/byte/transfer_functions__Term.cmi -no-alias-deps -open Transfer_functions__ -o transfer_functions/.transfer_functions.objs/byte/transfer_functions__Term.cmo -c -impl transfer_functions/term.ml)
- File "transfer_functions/term.ml", line 659, characters 50-52:
- 659 | | Biadd{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.biadd ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 659, characters 53-55:
- 659 | | Biadd{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.biadd ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 660, characters 50-52:
- 660 | | Bisub{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bisub ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 660, characters 53-55:
- 660 | | Bisub{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bisub ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 661, characters 45-47:
- 661 | | Bimul{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bimul ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 661, characters 48-50:
- 661 | | Bimul{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bimul ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 666, characters 44-46:
- 666 | | Bshl{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bshl ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 666, characters 47-49:
- 666 | | Bshl{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bshl ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I fixpoint/.Fixpoint.objs/byte -I fixpoint/.Fixpoint.objs/native -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I .codex_log.objs/native -I utils/.datatype_sig.objs/byte -I utils/.datatype_sig.objs/native -I utils/.okasakimap.objs/byte -I utils/.okasakimap.objs/native -I utils/tracelog/.tracelog.objs/byte -I utils/tracelog/.tracelog.objs/native -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Wto.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/native/fixpoint__Wto.cmx -c -impl fixpoint/wto.ml)
- File "fixpoint/wto.ml", line 324, characters 19-23:
- 324 | let partition ?pref ~init ~succs =
- ^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w +a-3-4-6-9-40-41-42-44-45-48-34-27-32-50-60-26-33-67-70 -g -bin-annot -bin-annot-occurrences -I ext/framac_ival/.Framac_ival.objs/byte -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -I utils/.datatype_sig.objs/byte -cmi-file ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival_noinf.cmi -no-alias-deps -open Framac_ival -o ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival_noinf.cmo -c -impl ext/framac_ival/ival_noinf.ml)
- File "ext/framac_ival/ival_noinf.ml", line 799, characters 7-19:
- 799 | (Obj.truncate (Obj.repr r) i);
- ^^^^^^^^^^^^
- Error: Unbound value "Obj.truncate"
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w +a-3-4-6-9-40-41-42-44-45-48-34-27-32-50-60-26-33-67-70 -g -bin-annot -bin-annot-occurrences -I ext/framac_ival/.Framac_ival.objs/byte -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -I utils/.datatype_sig.objs/byte -cmi-file ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival.cmi -no-alias-deps -open Framac_ival -o ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival.cmo -c -impl ext/framac_ival/ival.ml)
- File "ext/framac_ival/ival.ml", line 832, characters 7-19:
- 832 | (Obj.truncate (Obj.repr r) i);
- ^^^^^^^^^^^^
- Error: Unbound value "Obj.truncate"
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I fixpoint/.Fixpoint.objs/byte -I fixpoint/.Fixpoint.objs/native -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I .codex_log.objs/native -I utils/.datatype_sig.objs/byte -I utils/.datatype_sig.objs/native -I utils/.okasakimap.objs/byte -I utils/.okasakimap.objs/native -I utils/tracelog/.tracelog.objs/byte -I utils/tracelog/.tracelog.objs/native -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Wto_iteration.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/native/fixpoint__Wto_iteration.cmx -c -impl fixpoint/wto_iteration.ml)
- File "fixpoint/wto_iteration.ml", line 116, characters 36-37:
- 116 | | Wto.Component(head,part) as c ->
- ^
- Warning 26 [unused-var]: unused variable c.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I fixpoint/.Fixpoint.objs/byte -I fixpoint/.Fixpoint.objs/native -I /home/opam/.opam/default/lib/patricia-tree -I .codex_log.objs/byte -I .codex_log.objs/native -I utils/.datatype_sig.objs/byte -I utils/.datatype_sig.objs/native -I utils/.okasakimap.objs/byte -I utils/.okasakimap.objs/native -I utils/tracelog/.tracelog.objs/byte -I utils/tracelog/.tracelog.objs/native -cmi-file fixpoint/.Fixpoint.objs/byte/fixpoint__Fixpoint_wto.cmi -no-alias-deps -open Fixpoint -o fixpoint/.Fixpoint.objs/native/fixpoint__Fixpoint_wto.cmx -c -impl fixpoint/fixpoint_wto.ml)
- File "fixpoint/fixpoint_wto.ml", line 98, characters 34-35:
- 98 | | Wto.Component(head,part) as c ->
- ^
- Warning 26 [unused-var]: unused variable c.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I smtbackend/.Smtbackend.objs/byte -I smtbackend/.Smtbackend.objs/native -I /home/opam/.opam/default/lib/zarith -I .codex_config.objs/byte -I .codex_config.objs/native -I .codex_log.objs/byte -I .codex_log.objs/native -cmi-file smtbackend/.Smtbackend.objs/byte/smtbackend__Smtbackend_smtlib.cmi -no-alias-deps -open Smtbackend__ -o smtbackend/.Smtbackend.objs/native/smtbackend__Smtbackend_smtlib.cmx -c -impl smtbackend/smtbackend_smtlib.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I transfer_functions/.transfer_functions.objs/byte -I transfer_functions/.transfer_functions.objs/native -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -I .codex_log.objs/native -cmi-file transfer_functions/.transfer_functions.objs/byte/transfer_functions__Term.cmi -no-alias-deps -open Transfer_functions__ -o transfer_functions/.transfer_functions.objs/native/transfer_functions__Term.cmx -c -impl transfer_functions/term.ml)
- File "transfer_functions/term.ml", line 659, characters 50-52:
- 659 | | Biadd{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.biadd ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 659, characters 53-55:
- 659 | | Biadd{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.biadd ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 660, characters 50-52:
- 660 | | Bisub{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bisub ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 660, characters 53-55:
- 660 | | Bisub{size;nsw;nuw;nusw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bisub ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 661, characters 45-47:
- 661 | | Bimul{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bimul ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 661, characters 48-50:
- 661 | | Bimul{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bimul ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
-
- File "transfer_functions/term.ml", line 666, characters 44-46:
- 666 | | Bshl{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bshl ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b1.
-
- File "transfer_functions/term.ml", line 666, characters 47-49:
- 666 | | Bshl{size;nsw;nuw} -> fun arg -> let (b1,b2) = T.extract2 arg in (* T.bshl ~size b1 b2 *) assert false
- ^^
- Warning 26 [unused-var]: unused variable b2.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I single_value_abstraction/.Single_value_abstraction.objs/byte -I /home/opam/.opam/default/lib/zarith -I ext/framac_ival/.Framac_ival.objs/byte -I lattices/.lattices.objs/byte -I transfer_functions/.transfer_functions.objs/byte -I utils/.datatype_sig.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file single_value_abstraction/.Single_value_abstraction.objs/byte/single_value_abstraction__Quadrivalent_basis.cmi -no-alias-deps -open Single_value_abstraction__ -o single_value_abstraction/.Single_value_abstraction.objs/byte/single_value_abstraction__Quadrivalent_basis.cmo -c -impl single_value_abstraction/quadrivalent_basis.ml)
- File "single_value_abstraction/quadrivalent_basis.ml", line 29, characters 15-20:
- 29 | let unknown ?level = Top
- ^^^^^
- Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I constraints/.Constraints.objs/byte -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -I .codex_config.objs/byte -I .codex_log.objs/byte -I ext/framac_ival/.Framac_ival.objs/byte -I single_value_abstraction/.Single_value_abstraction.objs/byte -I smtbackend/.Smtbackend.objs/byte -I transfer_functions/.transfer_functions.objs/byte -I utils/.bdd.objs/byte -I utils/.condition_map.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.immutable_array.objs/byte -I utils/.immutable_dynamic_array.objs/byte -I utils/.treemap.objs/byte -I utils/tracelog/.tracelog.objs/byte -I utils/unionFind/.Union_Find.objs/byte -no-alias-deps -open Constraints__ -o constraints/.Constraints.objs/byte/constraints__Constraints_condition.cmo -c -impl constraints/constraints_condition.ml)
- File "constraints/constraints_condition.ml", line 719, characters 22-32:
- 719 | type t = Cudd.Man.d Cudd.Bdd.t
- ^^^^^^^^^^
- Error: The module "Cudd.Bdd" is a functor, it cannot have any components
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I single_value_abstraction/.Single_value_abstraction.objs/byte -I /home/opam/.opam/default/lib/zarith -I ext/framac_ival/.Framac_ival.objs/byte -I lattices/.lattices.objs/byte -I transfer_functions/.transfer_functions.objs/byte -I utils/.datatype_sig.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file single_value_abstraction/.Single_value_abstraction.objs/byte/single_value_abstraction__Ival_basis.cmi -no-alias-deps -open Single_value_abstraction__ -o single_value_abstraction/.Single_value_abstraction.objs/byte/single_value_abstraction__Ival_basis.cmo -c -impl single_value_abstraction/ival_basis.ml)
- File "single_value_abstraction/ival_basis.ml", line 670, characters 10-11:
- 670 | let f fmt =
- ^
- Warning 26 [unused-var]: unused variable f.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w +a-3-4-6-9-40-41-42-44-45-48-34-27-32-50-60-26-33-67-70 -g -O3 -I ext/framac_ival/.Framac_ival.objs/byte -I ext/framac_ival/.Framac_ival.objs/native -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -I .codex_log.objs/native -I utils/.datatype_sig.objs/byte -I utils/.datatype_sig.objs/native -cmi-file ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival_noinf.cmi -no-alias-deps -open Framac_ival -o ext/framac_ival/.Framac_ival.objs/native/framac_ival__Ival_noinf.cmx -c -impl ext/framac_ival/ival_noinf.ml)
- File "ext/framac_ival/ival_noinf.ml", line 799, characters 7-19:
- 799 | (Obj.truncate (Obj.repr r) i);
- ^^^^^^^^^^^^
- Error: Unbound value "Obj.truncate"
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I constraints/.Constraints.objs/byte -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -I .codex_config.objs/byte -I .codex_log.objs/byte -I ext/framac_ival/.Framac_ival.objs/byte -I single_value_abstraction/.Single_value_abstraction.objs/byte -I smtbackend/.Smtbackend.objs/byte -I transfer_functions/.transfer_functions.objs/byte -I utils/.bdd.objs/byte -I utils/.condition_map.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.immutable_array.objs/byte -I utils/.immutable_dynamic_array.objs/byte -I utils/.treemap.objs/byte -I utils/tracelog/.tracelog.objs/byte -I utils/unionFind/.Union_Find.objs/byte -cmi-file constraints/.Constraints.objs/byte/constraints__Constraints_smt.cmi -no-alias-deps -open Constraints__ -o constraints/.Constraints.objs/byte/constraints__Constraints_smt.cmo -c -impl constraints/constraints_smt.ml)
- File "constraints/constraints_smt.ml", line 157, characters 17-22:
- 157 | let first = index in
- ^^^^^
- Warning 26 [unused-var]: unused variable first.
-
- File "constraints/constraints_smt.ml", line 158, characters 17-21:
- 158 | let last = index + size - 1 in
- ^^^^
- Warning 26 [unused-var]: unused variable last.
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w +a-3-4-6-9-40-41-42-44-45-48-34-27-32-50-60-26-33-67-70 -g -O3 -I ext/framac_ival/.Framac_ival.objs/byte -I ext/framac_ival/.Framac_ival.objs/native -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/zarith -I .codex_log.objs/byte -I .codex_log.objs/native -I utils/.datatype_sig.objs/byte -I utils/.datatype_sig.objs/native -cmi-file ext/framac_ival/.Framac_ival.objs/byte/framac_ival__Ival.cmi -no-alias-deps -open Framac_ival -o ext/framac_ival/.Framac_ival.objs/native/framac_ival__Ival.cmx -c -impl ext/framac_ival/ival.ml)
- File "ext/framac_ival/ival.ml", line 832, characters 7-19:
- 832 | (Obj.truncate (Obj.repr r) i);
- ^^^^^^^^^^^^
- Error: Unbound value "Obj.truncate"
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I constraints/.Constraints.objs/byte -I /home/opam/.opam/default/lib/cudd -I /home/opam/.opam/default/lib/patricia-tree -I /home/opam/.opam/default/lib/zarith -I .codex_config.objs/byte -I .codex_log.objs/byte -I ext/framac_ival/.Framac_ival.objs/byte -I single_value_abstraction/.Single_value_abstraction.objs/byte -I smtbackend/.Smtbackend.objs/byte -I transfer_functions/.transfer_functions.objs/byte -I utils/.bdd.objs/byte -I utils/.condition_map.objs/byte -I utils/.datatype_sig.objs/byte -I utils/.immutable_array.objs/byte -I utils/.immutable_dynamic_array.objs/byte -I utils/.treemap.objs/byte -I utils/tracelog/.tracelog.objs/byte -I utils/unionFind/.Union_Find.objs/byte -cmi-file constraints/.Constraints.objs/byte/constraints__Constraints_constraints.cmi -no-alias-deps -open Constraints__ -o constraints/.Constraints.objs/byte/constraints__Constraints_constraints.cmo -c -impl constraints/constraints_constraints.ml)
- File "constraints/constraints_constraints.ml", line 398, characters 15-16:
- 398 | | Root _ -> ()
- ^
- Warning 28 [wildcard-arg-to-constant-constr]: wildcard pattern given as argument to a constant constructor
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I types/.types.objs/byte -I /home/opam/.opam/default/lib/zarith -I types/.Type_parser.objs/byte -I types/.type_parse_tree.objs/byte -I utils/.datatype_sig.objs/byte -I utils/tracelog/.tracelog.objs/byte -no-alias-deps -open Types -o types/.types.objs/byte/types__Ctypes.cmi -c -intf types/ctypes.mli)
- File "types/ctypes.mli", line 197, characters 36-52:
- 197 | val type_of_name: string -> typ [@@@ocaml.deprecated "Please use inline instead."]
- ^^^^^^^^^^^^^^^^
- Warning 53 [misplaced-attribute]: the "ocaml.deprecated" attribute cannot appear in this context
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -I types/.Type_parser.objs/byte -I types/.Type_parser.objs/native -I /home/opam/.opam/default/lib/pacomb -I /home/opam/.opam/default/lib/zarith -I types/.type_parse_tree.objs/byte -I types/.type_parse_tree.objs/native -I utils/tracelog/.tracelog.objs/byte -I utils/tracelog/.tracelog.objs/native -cmi-file types/.Type_parser.objs/byte/type_parser.cmi -no-alias-deps -o types/.Type_parser.objs/native/type_parser.cmx -c -impl types/type_parser.pp.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I types/.Type_parser.objs/byte -I /home/opam/.opam/default/lib/pacomb -I /home/opam/.opam/default/lib/zarith -I types/.type_parse_tree.objs/byte -I utils/tracelog/.tracelog.objs/byte -cmi-file types/.Type_parser.objs/byte/type_parser.cmi -no-alias-deps -o types/.Type_parser.objs/byte/type_parser.cmo -c -impl types/type_parser.pp.ml)
- File "_none_", line 1:
- Alert ocaml_deprecated_auto_include:
- OCaml's lib directory layout changed in 5.0. The unix subdirectory has been
- automatically added to the search path, but you should add -I +unix to the
- command-line to silence this alert (e.g. by adding unix to the list of
- libraries in your dune file, or adding use_unix to your _tags file for
- ocamlbuild, or using -package unix for ocamlfind).
[ERROR] The compilation of codex.1.0-rc1 failed at "dune build -p codex -j 255 --promote-install-files=false @install".
build failed...
Dependency Graph
Loading graph...
View raw DOT format
digraph opam {
"alt-ergo.2.6.2" -> {"alt-ergo-lib.2.6.2" "alt-ergo-parsers.2.6.2" "cmdliner.1.3.0" "dune.3.20.2" "dune-site.3.20.2" "menhir.20250912" "ocaml.5.3.0"}
"alt-ergo-lib.2.6.2" -> {"camlzip.1.13" "dolmen.0.10" "dolmen_loop.0.10" "dolmen_type.0.10" "dune.3.20.2" "dune-build-info.3.20.2" "fmt.0.11.0" "ocaml.5.3.0" "ocplib-simplex.0.5.1" "ppx_blob.0.9.0" "ppx_deriving.6.0.3" "seq.base" "stdlib-shims.0.3.0" "zarith.1.14"}
"alt-ergo-parsers.2.6.2" -> {"alt-ergo-lib.2.6.2" "dune.3.20.2" "menhir.20250912" "ocaml.5.3.0" "psmt2-frontend.0.4.0" "stdlib-shims.0.3.0"}
"astring.0.8.5" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"base.v0.17.3" -> {"dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0" "ocaml_intrinsics_kernel.v0.17.1" "sexplib0.v0.17.0"}
"base64.3.5.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"bheap.2.0.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"bos.0.2.1" -> {"astring.0.8.5" "base-unix.base" "fmt.0.11.0" "fpath.0.7.3" "logs.0.10.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "rresult.0.7.0" "topkg.1.1.1"}
"cairo2.0.6.5" -> {"base-bigarray.base" "conf-cairo.1" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0"}
"camlp-streams.5.0.1" -> {"dune.3.20.2" "ocaml.5.3.0"}
"camlzip.1.13" -> {"conf-zlib.1" "ocaml.5.3.0" "ocamlfind.1.9.8"}
"cmdliner.1.3.0" -> "ocaml.5.3.0";
"codex.1.0-rc1" -> {"base64.3.5.2" "bheap.2.0.0" "camlp-streams.5.0.1" "cudd.0.1.3" "dune.3.20.2" "fmt.0.11.0" "pacomb.1.3" "patricia-tree.0.11.0" "ppx_inline_test.v0.17.0" "qcheck-core.0.27" "zarith.1.14"}
"conf-cairo.1" -> "conf-pkg-config.4";
"conf-gtk3.18" -> "conf-pkg-config.4";
"conf-gtksourceview3.0+2" -> "conf-pkg-config.4";
"conf-zlib.1" -> "conf-pkg-config.4";
"cppo.1.8.0" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.3.0"}
"csexp.1.5.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ctypes.0.24.0" -> {"dune.3.20.2" "dune-configurator.3.20.2" "integers.0.7.0" "ocaml.5.3.0"}
"cudd.0.1.3" -> "dune.3.20.2";
"dolmen.0.10" -> {"dune.3.20.2" "fmt.0.11.0" "hmap.0.8.1" "menhir.20250912" "ocaml.5.3.0" "seq.base"}
"dolmen_loop.0.10" -> {"dolmen.0.10" "dolmen_type.0.10" "dune.3.20.2" "gen.1.1" "ocaml.5.3.0" "pp_loc.2.1.0"}
"dolmen_type.0.10" -> {"dolmen.0.10" "dune.3.20.2" "ocaml.5.3.0" "spelll.0.4" "uutf.1.0.4"}
"dune.3.20.2" -> {"base-threads.base" "base-unix.base" "ocaml.5.3.0"}
"dune-build-info.3.20.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"dune-configurator.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "ocaml.5.3.0"}
"dune-private-libs.3.20.2" -> {"csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.3.0" "pp.2.0.0" "stdune.3.20.2"}
"dune-site.3.20.2" -> {"dune.3.20.2" "dune-private-libs.3.20.2"}
"dyn.3.20.2" -> {"dune.3.20.2" "ocaml.5.3.0" "ordering.3.20.2" "pp.2.0.0"}
"fmt.0.11.0" -> {"base-unix.base" "cmdliner.1.3.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"fpath.0.7.3" -> {"astring.0.8.5" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"frama-c.31.0" -> {"alt-ergo.2.6.2" "camlzip.1.13" "conf-gtksourceview3.0+2" "dune.3.20.2" "dune-configurator.3.20.2" "dune-site.3.20.2" "lablgtk3.3.1.5" "lablgtk3-sourceview3.3.1.5" "menhir.20250912" "ocaml.5.3.0" "ocamlgraph.2.2.0" "ppx_deriving.6.0.3" "ppx_deriving_yaml.0.4.0" "ppx_deriving_yojson.3.9.1" "unionFind.20250818" "why3.1.8.2" "yaml.3.2.0" "yojson.3.0.0" "zarith.1.14"}
"frama_c_codex.1.0-for-opam" -> {"codex.1.0-rc1" "dune.3.20.2" "frama-c.31.0"}
"gen.1.1" -> {"dune.3.20.2" "ocaml.5.3.0" "seq.base"}
"hmap.0.8.1" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"integers.0.7.0" -> {"dune.3.20.2" "ocaml.5.3.0" "stdlib-shims.0.3.0"}
"jane-street-headers.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"jst-config.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0" "ppx_assert.v0.17.0"}
"lablgtk3.3.1.5" -> {"cairo2.0.6.5" "camlp-streams.5.0.1" "conf-gtk3.18" "dune.3.20.2" "ocaml.5.3.0"}
"lablgtk3-sourceview3.3.1.5" -> {"camlp-streams.5.0.1" "conf-gtksourceview3.0+2" "dune.3.20.2" "lablgtk3.3.1.5" "ocaml.5.3.0"}
"logs.0.10.0" -> {"base-threads.base" "cmdliner.1.3.0" "fmt.0.11.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"menhir.20250912" -> {"dune.3.20.2" "menhirCST.20250912" "menhirLib.20250912" "menhirSdk.20250912" "ocaml.5.3.0"}
"menhirCST.20250912" -> {"dune.3.20.2" "ocaml.5.3.0"}
"menhirLib.20250912" -> {"dune.3.20.2" "ocaml.5.3.0"}
"menhirSdk.20250912" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ocaml.5.3.0" -> {"ocaml-base-compiler.5.3.0" "ocaml-config.3"}
"ocaml-base-compiler.5.3.0" -> "ocaml-compiler.5.3.0";
"ocaml-compiler-libs.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ocaml-config.3" -> "ocaml-base-compiler.5.3.0";
"ocaml_intrinsics_kernel.v0.17.1" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ocamlbuild.0.16.1" -> "ocaml.5.3.0";
"ocamlfind.1.9.8" -> "ocaml.5.3.0";
"ocamlgraph.2.2.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ocplib-simplex.0.5.1" -> {"dune.3.20.2" "logs.0.10.0" "ocaml.5.3.0" "ocamlfind.1.9.8"}
"ordering.3.20.2" -> {"dune.3.20.2" "ocaml.5.3.0"}
"pacomb.1.3" -> {"dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0" "stdlib-shims.0.3.0"}
"patricia-tree.0.11.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"pp.2.0.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"pp_loc.2.1.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ppx_assert.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_here.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0"}
"ppx_base.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ppx_cold.v0.17.0" "ppx_compare.v0.17.0" "ppx_enumerate.v0.17.0" "ppx_globalize.v0.17.0" "ppx_hash.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0"}
"ppx_blob.0.9.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0"}
"ppx_cold.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0"}
"ppx_compare.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0" "ppxlib_jane.v0.17.2"}
"ppx_derivers.1.2.1" -> {"dune.3.20.2" "ocaml.5.3.0"}
"ppx_deriving.6.0.3" -> {"cppo.1.8.0" "dune.3.20.2" "ocaml.5.3.0" "ocamlfind.1.9.8" "ppx_derivers.1.2.1" "ppxlib.0.35.0"}
"ppx_deriving_yaml.0.4.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0" "yaml.3.2.0"}
"ppx_deriving_yojson.3.9.1" -> {"dune.3.20.2" "ocaml.5.3.0" "ppx_deriving.6.0.3" "ppxlib.0.35.0" "yojson.3.0.0"}
"ppx_enumerate.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0" "ppxlib_jane.v0.17.2"}
"ppx_globalize.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0" "ppxlib_jane.v0.17.2"}
"ppx_hash.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppx_compare.v0.17.0" "ppx_sexp_conv.v0.17.0" "ppxlib.0.35.0" "ppxlib_jane.v0.17.2"}
"ppx_here.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0"}
"ppx_inline_test.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0" "time_now.v0.17.0"}
"ppx_optcomp.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0" "stdio.v0.17.0"}
"ppx_sexp_conv.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0" "ppxlib_jane.v0.17.2" "sexplib0.v0.17.0"}
"ppxlib.0.35.0" -> {"dune.3.20.2" "ocaml.5.3.0" "ocaml-compiler-libs.v0.17.0" "ppx_derivers.1.2.1" "sexplib0.v0.17.0" "stdlib-shims.0.3.0"}
"ppxlib_jane.v0.17.2" -> {"dune.3.20.2" "ocaml.5.3.0" "ppxlib.0.35.0"}
"psmt2-frontend.0.4.0" -> {"dune.3.20.2" "menhir.20250912" "ocaml.5.3.0"}
"qcheck-core.0.27" -> {"base-unix.base" "dune.3.20.2" "ocaml.5.3.0"}
"rresult.0.7.0" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"seq.base" -> "ocaml.5.3.0";
"sexplib0.v0.17.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"spelll.0.4" -> {"dune.3.20.2" "ocaml.5.3.0" "seq.base" "stdlib-shims.0.3.0"}
"stdio.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "ocaml.5.3.0"}
"stdlib-shims.0.3.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"stdune.3.20.2" -> {"base-unix.base" "csexp.1.5.2" "dune.3.20.2" "dyn.3.20.2" "ocaml.5.3.0" "ordering.3.20.2" "pp.2.0.0"}
"time_now.v0.17.0" -> {"base.v0.17.3" "dune.3.20.2" "jane-street-headers.v0.17.0" "jst-config.v0.17.0" "ocaml.5.3.0" "ppx_base.v0.17.0" "ppx_optcomp.v0.17.0"}
"topkg.1.1.1" -> {"ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8"}
"unionFind.20250818" -> {"dune.3.20.2" "ocaml.5.3.0"}
"uutf.1.0.4" -> {"cmdliner.1.3.0" "ocaml.5.3.0" "ocamlbuild.0.16.1" "ocamlfind.1.9.8" "topkg.1.1.1"}
"why3.1.8.2" -> {"camlzip.1.13" "menhir.20250912" "ocaml.5.3.0" "ocamlfind.1.9.8" "ocamlgraph.2.2.0" "ppx_deriving.6.0.3" "ppx_sexp_conv.v0.17.0" "zarith.1.14"}
"yaml.3.2.0" -> {"bos.0.2.1" "ctypes.0.24.0" "dune.3.20.2" "dune-configurator.3.20.2" "ocaml.5.3.0"}
"yojson.3.0.0" -> {"dune.3.20.2" "ocaml.5.3.0"}
"zarith.1.14" -> {"conf-gmp.5" "conf-pkg-config.4" "ocaml.5.3.0" "ocamlfind.1.9.8"}
}