Build:
- 0
2026-09-04 18:10.20: New job: build mc2.0.1 (f2e290e244dc) 2026-09-04 18:10.20: Waiting for resource in pool day11-builds 2026-09-04 18:31.57: Got resource from pool day11-builds 2026-09-04 18:31.57: [profile full] build mc2.0.1 2026-09-04 18:31.57: build mc2.0.1 (f2e290e244dc) === DEPENDENCIES (23 transitive) === base-bigarray.base 31ac6860ef52 base-bytes.base 03f6a7f50e10 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e compiler-cloning.enabled 966a2e6839f0 conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 containers.3.18 11eca2aff116 csexp.1.5.2 8c096e7de322 dune.3.24.2 25fbaa318de6 dune-configurator.3.24.2 517e3f9cad4b either.1.0.0 37bbc4de2b5b iter.1.9 bb38d8860c5e menhir.20211012 6a95187d82a4 menhirLib.20211012 7cdf9b54a17c menhirSdk.20211012 09847803a6cb ocaml.5.5.1 70ca0c66e0e8 ocaml-base-compiler.5.5.1 59841d7ed85e ocaml-compiler.5.5.1 492c0c740bd1 ocamlfind.1.9.9~preview 5e0261154b58 result.1.5 de914be7381a smtlib-utils.0.2 1621c5a342a1 zarith.1.14 345688a9ddb6 === 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 -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 -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__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-04 18:32.08: OK: build mc2.0.1 (runc: 8.6s, disk: 20KB) 2026-09-04 18:32.08: Job succeeded