Build:
- 1
- 0
2026-09-03 21:26.47: New job: build mc2.0.1 (3c1a2b615a2a) 2026-09-03 21:26.47: Waiting for resource in pool day11-builds 2026-09-03 22:35.34: Got resource from pool day11-builds 2026-09-03 22:35.34: [profile full] build mc2.0.1 2026-09-03 22:35.34: build mc2.0.1 (3c1a2b615a2a) === DEPENDENCIES (23 transitive) === base-bigarray.base 31ac6860ef52 base-bytes.base a07bc30a9819 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e compiler-cloning.enabled 966a2e6839f0 conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 containers.3.18 8761b6daf493 csexp.1.5.2 58b250503765 dune.3.24.2 ec704e062ad3 dune-configurator.3.24.2 183455f65a68 either.1.0.0 528f686c9e94 iter.1.9 8c1f63764158 menhir.20211012 262d9112a138 menhirLib.20211012 730287210180 menhirSdk.20211012 922e8a877da6 ocaml.5.5.0 22ebd7932512 ocaml-base-compiler.5.5.0 db1659234e8a ocaml-compiler.5.5.0 7f52fb26d939 ocamlfind.1.9.9~preview 6a4c70487cf9 result.1.5 8fc6ae0d59de smtlib-utils.0.2 e96f3e6c4156 zarith.1.14 bd527d6656b5 === STDOUT === Processing: [default: loading data] [mc2.0.1: dl] [mc2.0.1: extract] -> retrieved mc2.0.1 (https://opam.ocaml.org/cache) [mc2: dune build] + /home/opam/.opam/default/bin/dune "build" "@install" "-p" "mc2" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/mc2.0.1) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -g -bin-annot -bin-annot-occurrences -I src/core/.mc2_core.objs/byte -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -cmi-file src/core/.mc2_core.objs/byte/mc2_core__Tseitin.cmi -no-alias-deps -open Mc2_core__ -o src/core/.mc2_core.objs/byte/mc2_core__Tseitin.cmo -c -impl src/core/Tseitin.ml) - File "src/core/Tseitin.ml", line 206, characters 13-18: - 206 | | _ -> CCOpt.to_list @@ cnf_under_and st f - ^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -g -O3 -color always -unbox-closures -unbox-closures-factor 20 -I src/core/.mc2_core.objs/byte -I src/core/.mc2_core.objs/native -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -cmi-file src/core/.mc2_core.objs/byte/mc2_core__Tseitin.cmi -no-alias-deps -open Mc2_core__ -o src/core/.mc2_core.objs/native/mc2_core__Tseitin.cmx -c -impl src/core/Tseitin.ml) - File "src/core/Tseitin.ml", line 206, characters 13-18: - 206 | | _ -> CCOpt.to_list @@ cnf_under_and st f - ^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -g -bin-annot -bin-annot-occurrences -I src/core/.mc2_core.objs/byte -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -cmi-file src/core/.mc2_core.objs/byte/mc2_core__Atom.cmi -no-alias-deps -open Mc2_core__ -o src/core/.mc2_core.objs/byte/mc2_core__Atom.cmo -c -impl src/core/Atom.ml) - File "src/core/Atom.ml", line 29, characters 7-12: - 29 | else CCOpt.map Value.bool_neg (Term.value a.a_term) - ^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -w +a-4-42-44-48-50-58-32-60@8 -g -bin-annot -bin-annot-occurrences -I src/backend/.mc2_backend.objs/byte -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -I src/core/.mc2_core.objs/byte -no-alias-deps -open Mc2_backend -o src/backend/.mc2_backend.objs/byte/mc2_backend__Backend_intf.cmo -c -impl src/backend/backend_intf.ml) - File "src/backend/backend_intf.ml", line 1: - Warning 70 [missing-mli]: Cannot find interface file. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -w +a-4-42-44-48-50-58-32-60@8 -g -bin-annot -bin-annot-occurrences -I src/backend/.mc2_backend.objs/byte -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -I src/core/.mc2_core.objs/byte -no-alias-deps -open Mc2_backend -o src/backend/.mc2_backend.objs/byte/mc2_backend__Dot.cmi -c -intf src/backend/Dot.mli) - File "src/backend/Dot.mli", line 58, characters 12-13: - 58 | module Make(A : Arg with type atom := Atom.t - ^ - Warning 67 [unused-functor-parameter]: unused functor parameter A. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -g -bin-annot -bin-annot-occurrences -I src/lra/.mc2_lra.objs/byte -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/zarith -I src/core/.mc2_core.objs/byte -cmi-file src/lra/.mc2_lra.objs/byte/mc2_lra.cmi -no-alias-deps -open Mc2_lra__ -o src/lra/.mc2_lra.objs/byte/mc2_lra.cmo -c -impl src/lra/Mc2_lra.ml) - File "src/lra/Mc2_lra.ml", line 331, characters 21-26: - 331 | l |> CCOpt.get_exn - ^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - - File "src/lra/Mc2_lra.ml", line 331, characters 21-34: - 331 | l |> CCOpt.get_exn - ^^^^^^^^^^^^^ - Alert deprecated: CCOpt.get_exn - use CCOption.get_exn_or instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -g -bin-annot -bin-annot-occurrences -I src/smtlib/.mc2_smtlib.objs/byte -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/smtlib-utils -I /home/opam/.opam/default/lib/zarith -I src/backend/.mc2_backend.objs/byte -I src/core/.mc2_core.objs/byte -I src/lra/.mc2_lra.objs/byte -I src/propositional/.mc2_propositional.objs/byte -I src/uf/.mc2_uf.objs/byte -I src/unin_sort/.mc2_unin_sort.objs/byte -cmi-file src/smtlib/.mc2_smtlib.objs/byte/mc2_smtlib__Typecheck.cmi -no-alias-deps -open Mc2_smtlib__ -o src/smtlib/.mc2_smtlib.objs/byte/mc2_smtlib__Typecheck.cmo -c -impl src/smtlib/Typecheck.ml) - File "src/smtlib/Typecheck.ml", line 350, characters 14-34: - 350 | CCList.partition_map - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: CCList.partition_map - use CCList.partition_filter_map instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -g -bin-annot -bin-annot-occurrences -I src/core/.mc2_core.objs/byte -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -cmi-file src/core/.mc2_core.objs/byte/mc2_core__Internal.cmi -no-alias-deps -open Mc2_core__ -o src/core/.mc2_core.objs/byte/mc2_core__Internal.cmo -c -impl src/core/Internal.ml) - File "src/core/Internal.ml", line 1763, characters 18-23: - 1763 | ~h:(fun () -> CCOpt.iter Gc.delete_alarm _alarm_progress) - ^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - - File "src/core/Internal.ml", line 242, characters 5-13: - 242 | let[@unrolled 1] rec add_term (env:t) (t:term): unit = - ^^^^^^^^ - Warning 53 [misplaced-attribute]: the unrolled attribute cannot appear in this context - - File "src/core/Internal.ml", line 1068, characters 5-13: - 1068 | let[@unrolled 1] rec vec_to_insert_clause_into env c = match c.c_premise with - ^^^^^^^^ - Warning 53 [misplaced-attribute]: the unrolled attribute cannot appear in this context - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -g -O3 -color always -unbox-closures -unbox-closures-factor 20 -I src/core/.mc2_core.objs/byte -I src/core/.mc2_core.objs/native -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -cmi-file src/core/.mc2_core.objs/byte/mc2_core__Atom.cmi -no-alias-deps -open Mc2_core__ -o src/core/.mc2_core.objs/native/mc2_core__Atom.cmx -c -impl src/core/Atom.ml) - File "src/core/Atom.ml", line 29, characters 7-12: - 29 | else CCOpt.map Value.bool_neg (Term.value a.a_term) - ^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -g -O3 -color always -unbox-closures -unbox-closures-factor 20 -I src/core/.mc2_core.objs/byte -I src/core/.mc2_core.objs/native -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -cmi-file src/core/.mc2_core.objs/byte/mc2_core__Internal.cmi -no-alias-deps -open Mc2_core__ -o src/core/.mc2_core.objs/native/mc2_core__Internal.cmx -c -impl src/core/Internal.ml) - File "src/core/Internal.ml", line 1763, characters 18-23: - 1763 | ~h:(fun () -> CCOpt.iter Gc.delete_alarm _alarm_progress) - ^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - - File "src/core/Internal.ml", line 242, characters 5-13: - 242 | let[@unrolled 1] rec add_term (env:t) (t:term): unit = - ^^^^^^^^ - Warning 53 [misplaced-attribute]: the unrolled attribute cannot appear in this context - - File "src/core/Internal.ml", line 1068, characters 5-13: - 1068 | let[@unrolled 1] rec vec_to_insert_clause_into env c = match c.c_premise with - ^^^^^^^^ - Warning 53 [misplaced-attribute]: the unrolled attribute cannot appear in this context - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -g -O3 -color always -unbox-closures -unbox-closures-factor 20 -I src/lra/.mc2_lra.objs/byte -I src/lra/.mc2_lra.objs/native -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/zarith -I src/core/.mc2_core.objs/byte -I src/core/.mc2_core.objs/native -cmi-file src/lra/.mc2_lra.objs/byte/mc2_lra.cmi -no-alias-deps -open Mc2_lra__ -o src/lra/.mc2_lra.objs/native/mc2_lra.cmx -c -impl src/lra/Mc2_lra.ml) - File "src/lra/Mc2_lra.ml", line 331, characters 21-26: - 331 | l |> CCOpt.get_exn - ^^^^^ - Alert deprecated: module CCOpt - use CCOption instead - - File "src/lra/Mc2_lra.ml", line 331, characters 21-34: - 331 | l |> CCOpt.get_exn - ^^^^^^^^^^^^^ - Alert deprecated: CCOpt.get_exn - use CCOption.get_exn_or instead - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -warn-error -3-32-50 -color always -safe-string -short-paths -g -O3 -color always -unbox-closures -unbox-closures-factor 20 -I src/smtlib/.mc2_smtlib.objs/byte -I src/smtlib/.mc2_smtlib.objs/native -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers/domain -I /home/opam/.opam/default/lib/containers/monomorphic -I /home/opam/.opam/default/lib/either -I /home/opam/.opam/default/lib/iter -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/smtlib-utils -I /home/opam/.opam/default/lib/zarith -I src/backend/.mc2_backend.objs/byte -I src/backend/.mc2_backend.objs/native -I src/core/.mc2_core.objs/byte -I src/core/.mc2_core.objs/native -I src/lra/.mc2_lra.objs/byte -I src/lra/.mc2_lra.objs/native -I src/propositional/.mc2_propositional.objs/byte -I src/propositional/.mc2_propositional.objs/native -I src/uf/.mc2_uf.objs/byte -I src/uf/.mc2_uf.objs/native -I src/unin_sort/.mc2_unin_sort.objs/byte -I src/unin_sort/.mc2_unin_sort.objs/native -cmi-file src/smtlib/.mc2_smtlib.objs/byte/mc2_smtlib__Typecheck.cmi -no-alias-deps -open Mc2_smtlib__ -o src/smtlib/.mc2_smtlib.objs/native/mc2_smtlib__Typecheck.cmx -c -impl src/smtlib/Typecheck.ml) - File "src/smtlib/Typecheck.ml", line 350, characters 14-34: - 350 | CCList.partition_map - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: CCList.partition_map - use CCList.partition_filter_map instead -> compiled mc2.0.1 -> installed mc2.0.1 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-09-03 22:35.51: OK: build mc2.0.1 (runc: 8.2s, disk: 20KB) 2026-09-03 22:35.51: Job succeeded