Build:
- 0
2026-06-24 11:06.03: New job: build aez.0.3 (fa4e19031917) 2026-06-24 11:06.03: Waiting for resource in pool day11-builds 2026-06-24 11:19.10: Got resource from pool day11-builds 2026-06-24 11:19.10: [profile full] build aez.0.3 2026-06-24 11:19.10: build aez.0.3 (fa4e19031917) === DEPENDENCIES (5 transitive) === num.1.6 110cee7a7e2e ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-config.2 2d9c209f5590 ocamlfind.1.9.8 214dd418ac02 === STDOUT === Processing: [default: loading data] [aez.0.3: dl] [aez.0.3: extract] [aez.0.3/META: dl] -> retrieved aez.0.3 (https://opam.ocaml.org/cache) [aez: ./configure] + /home/opam/.opam/default/.opam-switch/build/aez.0.3/./configure (CWD=/home/opam/.opam/default/.opam-switch/build/aez.0.3) - checking for ocp-ocamlc.opt... no - checking for ocamlc.opt... ocamlc.opt - ocaml version is 4.14.4 - ocaml library path is /home/opam/.opam/default/lib/ocaml - checking for ocp-ocamlopt.opt... no - checking for ocamlopt.opt... ocamlopt.opt - checking for ocamldep... ocamldep - checking for ocamllex... ocamllex - checking for ocamlyacc... ocamlyacc - checking platform... Unix platform - configure: creating ./config.status - config.status: creating Makefile - config.status: WARNING: 'Makefile.in' seems to ignore the --datarootdir setting [aez: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/aez.0.3) - Compiling common/timer.cmi - Compiling common/timer.cmo - Compiling common/hashcons.cmi - Compiling common/hashcons.cmo - Compiling common/hstring.cmi - Compiling common/hstring.cmo - Compiling common/vec.cmi - Compiling common/vec.cmo - Compiling common/heap.cmi - Compiling common/heap.cmo - Compiling common/iheap.cmi - Compiling common/iheap.cmo - Compiling smt/ty.cmi - Compiling smt/symbols.cmi - Compiling smt/term.cmi - Compiling smt/literal.cmi - Compiling smt/solver_types.cmi - Compiling smt/explanation.cmi - Compiling smt/exception.cmi - Compiling smt/exception.cmo - Compiling smt/symbols.cmo - File "smt/symbols.ml", line 61, characters 10-28: - 61 | | _ -> Pervasives.compare s1 s2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/ty.cmo - File "smt/ty.ml", line 50, characters 16-34: - 50 | | t1, t2 -> Pervasives.compare t1 t2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/term.cmo - File "smt/term.ml", line 55, characters 10-28: - 55 | let c = Pervasives.compare t2.tag t1.tag in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/literal.cmo - File "smt/literal.ml", line 91, characters 22-40: - 91 | let compare a1 a2 = Pervasives.compare a1.tag a2.tag - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/solver_types.cmo - Compiling smt/explanation.cmo - Compiling smt/polynome.cmi - Compiling smt/polynome.cmo - File "smt/polynome.ml", line 221, characters 19-35: - 221 | with Failure "int_of_big_int" -> Big_int b - ^^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of - this constructor's arguments. They are only for information - and may change in future versions. (See manual section 11.5) - Compiling smt/sig.cmi - Compiling smt/uf.cmi - Compiling smt/uf.cmo - Compiling smt/use.cmi - Compiling smt/use.cmo - Compiling smt/intervals.cmi - Compiling smt/intervals.cmo - File "smt/intervals.ml", line 542, characters 18-20: - 542 | if x = infinity or x = neg_infinity then raise Not_a_float; - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - Compiling smt/fm.cmi - Compiling smt/fm.cmo - File "smt/fm.ml", line 263, characters 51-53: - 263 | | Some (v, ex) when X.type_info x <> Ty.Tint or is_integer_num v -> - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "smt/fm.ml", line 322, characters 1-24: - 322 | Intervals.new_borne_sup expl b is_le uints - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - File "smt/fm.ml", line 324, characters 1-24: - 324 | Intervals.new_borne_inf expl b is_le uints in - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - File "smt/fm.ml", line 342, characters 10-33: - 342 | Intervals.new_borne_inf expl c is_le (Intervals.undefined ty) - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - File "smt/fm.ml", line 344, characters 3-26: - 344 | Intervals.new_borne_sup expl c is_le (Intervals.undefined ty) in - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - File "smt/fm.ml", line 437, characters 17-35: - 437 | with Failure "big_int_of_ratio" -> a, b - ^^^^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of - this constructor's arguments. They are only for information - and may change in future versions. (See manual section 11.5) - Compiling smt/arith.cmi - Compiling smt/arith.cmo - Compiling smt/sum.cmi - Compiling smt/sum.cmo - Compiling smt/combine.cmi - Compiling smt/combine.cmo - File "smt/combine.ml", line 53, characters 4-22: - 53 | Pervasives.compare (theory_num a) (theory_num b) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/cc.cmi - Compiling smt/cc.cmo - Compiling smt/solver.cmi - Compiling smt/solver.cmo - Compiling smt/smt.cmi - Compiling smt/smt.cmo - File "smt/smt.ml", line 663, characters 6-20: - 663 | CSolver.assume uc 0; - ^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function. - File "smt/smt.ml", line 684, characters 48-66: - 684 | Set.Make (struct type t = int let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "smt/smt.ml", line 697, characters 6-20: - 697 | CSolver.assume (Tseitin.make_cnf f) id; - ^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function. - ocamlc.opt -dtypes -g -I common/ -I smt/ -annot -pack -o aez.cmo common/timer.cmo common/hashcons.cmo common/hstring.cmo common/vec.cmo common/heap.cmo common/iheap.cmo smt/exception.cmo smt/symbols.cmo smt/ty.cmo smt/term.cmo smt/literal.cmo smt/solver_types.cmo smt/explanation.cmo smt/polynome.cmo smt/uf.cmo smt/use.cmo smt/intervals.cmo smt/fm.cmo smt/arith.cmo smt/sum.cmo smt/combine.cmo smt/cc.cmo smt/solver.cmo smt/smt.cmo - ocamlc.opt -a -dtypes -g -I common/ -I smt/ -annot -o aez.cma aez.cmo - Compiling common/timer.cmx - Compiling common/hashcons.cmx - Compiling common/hstring.cmx - Compiling common/vec.cmx - Compiling common/heap.cmx - Compiling common/iheap.cmx - Compiling smt/ty.cmx - File "smt/ty.ml", line 50, characters 16-34: - 50 | | t1, t2 -> Pervasives.compare t1 t2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/symbols.cmx - File "smt/symbols.ml", line 61, characters 10-28: - 61 | | _ -> Pervasives.compare s1 s2 - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/term.cmx - File "smt/term.ml", line 55, characters 10-28: - 55 | let c = Pervasives.compare t2.tag t1.tag in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/literal.cmx - File "smt/literal.ml", line 91, characters 22-40: - 91 | let compare a1 a2 = Pervasives.compare a1.tag a2.tag - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/solver_types.cmx - Compiling smt/explanation.cmx - Compiling smt/exception.cmx - Compiling smt/polynome.cmx - File "smt/polynome.ml", line 221, characters 19-35: - 221 | with Failure "int_of_big_int" -> Big_int b - ^^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of - this constructor's arguments. They are only for information - and may change in future versions. (See manual section 11.5) - Compiling smt/uf.cmx - Compiling smt/use.cmx - Compiling smt/intervals.cmx - File "smt/intervals.ml", line 542, characters 18-20: - 542 | if x = infinity or x = neg_infinity then raise Not_a_float; - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - Compiling smt/fm.cmx - File "smt/fm.ml", line 263, characters 51-53: - 263 | | Some (v, ex) when X.type_info x <> Ty.Tint or is_integer_num v -> - ^^ - Alert deprecated: Stdlib.or - Use (||) instead. - File "smt/fm.ml", line 322, characters 1-24: - 322 | Intervals.new_borne_sup expl b is_le uints - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - File "smt/fm.ml", line 324, characters 1-24: - 324 | Intervals.new_borne_inf expl b is_le uints in - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - File "smt/fm.ml", line 342, characters 10-33: - 342 | Intervals.new_borne_inf expl c is_le (Intervals.undefined ty) - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - File "smt/fm.ml", line 344, characters 3-26: - 344 | Intervals.new_borne_sup expl c is_le (Intervals.undefined ty) in - ^^^^^^^^^^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label is_le was omitted in the application of this function. - File "smt/fm.ml", line 437, characters 17-35: - 437 | with Failure "big_int_of_ratio" -> a, b - ^^^^^^^^^^^^^^^^^^ - Warning 52 [fragile-literal-pattern]: Code should not depend on the actual values of - this constructor's arguments. They are only for information - and may change in future versions. (See manual section 11.5) - Compiling smt/arith.cmx - Compiling smt/sum.cmx - Compiling smt/combine.cmx - File "smt/combine.ml", line 53, characters 4-22: - 53 | Pervasives.compare (theory_num a) (theory_num b) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - Compiling smt/cc.cmx - Compiling smt/solver.cmx - Compiling smt/smt.cmx - File "smt/smt.ml", line 663, characters 6-20: - 663 | CSolver.assume uc 0; - ^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function. - File "smt/smt.ml", line 684, characters 48-66: - 684 | Set.Make (struct type t = int let compare = Pervasives.compare end) - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Stdlib.Pervasives - Use Stdlib instead. - - If you need to stay compatible with OCaml < 4.07, you can use the - stdlib-shims library: https://github.com/ocaml/stdlib-shims - File "smt/smt.ml", line 697, characters 6-20: - 697 | CSolver.assume (Tseitin.make_cnf f) id; - ^^^^^^^^^^^^^^ - Warning 6 [labels-omitted]: label cnumber was omitted in the application of this function. - ocamlopt.opt -I common/ -I smt/ -pack -o aez.cmx common/timer.cmx common/hashcons.cmx common/hstring.cmx common/vec.cmx common/heap.cmx common/iheap.cmx smt/exception.cmx smt/symbols.cmx smt/ty.cmx smt/term.cmx smt/literal.cmx smt/solver_types.cmx smt/explanation.cmx smt/polynome.cmx smt/uf.cmx smt/use.cmx smt/intervals.cmx smt/fm.cmx smt/arith.cmx smt/sum.cmx smt/combine.cmx smt/cc.cmx smt/solver.cmx smt/smt.cmx - ocamlopt.opt -a -dtypes -I common/ -I smt/ -annot -for-pack Aez -I common/ -I smt/ -o aez.cmxa aez.cmx -> compiled aez.0.3 [aez: ocamlfind install] + /home/opam/.opam/default/bin/ocamlfind "install" "aez" "aez.a" "aez.cmi" "aez.cma" "aez.cmxa" "META" (CWD=/home/opam/.opam/default/.opam-switch/build/aez.0.3) - Installed /home/opam/.opam/default/lib/aez/aez.cmxa - Installed /home/opam/.opam/default/lib/aez/aez.cma - Installed /home/opam/.opam/default/lib/aez/aez.cmi - Installed /home/opam/.opam/default/lib/aez/aez.a - Installed /home/opam/.opam/default/lib/aez/META -> installed aez.0.3 === STDERR === 2026-06-24 11:19.28: OK: build aez.0.3 (runc: 9.1s, disk: 18KB) 2026-06-24 11:19.28: Job succeeded