Build:
- 0
2026-06-20 18:40.19: New job: build mc2.0.1 (7ab0c6adddce) 2026-06-20 18:40.19: Waiting for resource in pool day11-builds 2026-06-20 19:06.59: Got resource from pool day11-builds 2026-06-20 19:06.59: [profile full] build mc2.0.1 2026-06-20 19:06.59: build mc2.0.1 (7ab0c6adddce) === DEPENDENCIES (23 transitive) === base-bigarray.base dfc2a7e726c3 base-bytes.base ec2393fe4c6d base-threads.base b7164ff76afe base-unix.base 839dc585f12d compiler-cloning.enabled 0d2606125f88 conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b containers.3.18 8cf13cd09f05 csexp.1.5.2 315ecef51574 dune.3.23.1 dbfeecb5ca10 dune-configurator.3.23.1 8afe79196456 either.1.0.0 f710a2c06f5b iter.1.9 6bd78bc2cd2a menhir.20211012 3ae6245849e4 menhirLib.20211012 5709f66bbd24 menhirSdk.20211012 27163f478ff1 ocaml.5.5.0 1b4132bddf48 ocaml-base-compiler.5.5.0 1901c3a760c1 ocaml-compiler.5.5.0 5f593a0b4a8c ocamlfind.1.9.8 5b46f9d92bbd result.1.5 33cb91729092 smtlib-utils.0.2 73029cb4bf9e zarith.1.14 f91322a5735e === 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 -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/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 -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/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/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/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-06-20 19:07.17: OK: build mc2.0.1 (runc: 7.6s, disk: 19KB) 2026-06-20 19:07.17: Job succeeded