Build:
- 0
2026-06-19 19:28.25: New job: build mc2.0.1 (bc2374347966) 2026-06-19 19:28.25: Waiting for resource in pool day11-builds 2026-06-19 19:56.48: Got resource from pool day11-builds 2026-06-19 19:56.48: [profile full] build mc2.0.1 2026-06-19 19:56.48: build mc2.0.1 (bc2374347966) === DEPENDENCIES (22 transitive) === base-bigarray.base dfc2a7e726c3 base-bytes.base 38023b842165 base-threads.base b7164ff76afe base-unix.base 839dc585f12d conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b containers.3.18 172545cbb835 csexp.1.5.2 6a11fd34e537 dune.3.23.1 b9e31df96092 dune-configurator.3.23.1 cdae849f232e either.1.0.0 b65a9e296180 iter.1.9 4f99fbd1abff menhir.20211012 e58f6931f881 menhirLib.20211012 8f2a670ab369 menhirSdk.20211012 9a19c8b95717 ocaml.5.5.0 7bdffd2f55d9 ocaml-base-compiler.5.5.0 88ac983b1a28 ocaml-compiler.5.5.0 8d77bbea3746 ocamlfind.1.9.8 1872268d1aec result.1.5 c8a56fc8128f smtlib-utils.0.2 64b32fb67533 zarith.1.14 288b4b675a74 === 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/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/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/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/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/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/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-06-19 19:57.12: OK: build mc2.0.1 (runc: 11.1s, disk: 19KB) 2026-06-19 19:57.12: Job succeeded