Build:
- 0
2026-06-24 15:39.28: New job: build mc2.0.1 (4ae8aef8994d) 2026-06-24 15:39.28: Waiting for resource in pool day11-builds 2026-06-24 16:49.38: Got resource from pool day11-builds 2026-06-24 16:49.38: [profile full] build mc2.0.1 2026-06-24 16:49.38: build mc2.0.1 (4ae8aef8994d) === DEPENDENCIES (23 transitive) === base-bigarray.base 2e16f77d4cae base-bytes.base a7b3bf16b3f4 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb compiler-cloning.enabled 439a1fc77aa6 conf-gmp.5 be11edf77089 conf-pkg-config.5 d5de2c6a88f9 containers.3.18 9b67317968c0 csexp.1.5.2 977b865a51b4 dune.3.23.1 a59dd9b14fe3 dune-configurator.3.23.1 8cec6bb1116c either.1.0.0 f609e8d13b2e iter.1.9 a02fedc93acd menhir.20211012 591d79dca307 menhirLib.20211012 79c7e2c078ab menhirSdk.20211012 3544fb6e9c72 ocaml.5.5.0 383268832c4b ocaml-base-compiler.5.5.0 522c248944c8 ocaml-compiler.5.5.0 eb1a8babf54c ocamlfind.1.9.8 b506a15fcd6c result.1.5 dc628609a9da smtlib-utils.0.2 bc152bce91e2 zarith.1.14 c48bd7ff5430 === 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-06-24 16:50.03: OK: build mc2.0.1 (runc: 8.7s, disk: 20KB) 2026-06-24 16:50.03: Job succeeded