Build:
- 0
2026-09-03 22:37.02: New job: build libzipperposition.2.0 (99995555d03d) 2026-09-03 22:37.02: Waiting for resource in pool day11-builds 2026-09-03 23:16.36: Got resource from pool day11-builds 2026-09-03 23:16.36: [profile full] build libzipperposition.2.0 2026-09-03 23:16.36: build libzipperposition.2.0 (99995555d03d) === DEPENDENCIES (25 transitive) === base-bigarray.base 31ac6860ef52 base-bytes.base c7e0c3be9a18 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 containers.3.18 880b0b96b72a containers-data.3.18 a05926a59477 csexp.1.5.2 b2fe06624e80 dune.3.22.2 57026fcbd9b3 dune-configurator.3.22.2 161a83063325 either.1.0.0 02764a9440bd iter.1.9 2b1e22eff7ee logtk.2.0 848b1a111c05 menhir.20211128 b161f1e55800 menhirLib.20211128 4f01fde69436 menhirSdk.20211128 a39ac1d941f9 msat.0.8.3 6221625f16a8 ocaml.4.12.1 40bf037a0516 ocaml-base-compiler.4.12.1 e714dfd3f0fe ocaml-config.2 75bd2fc1f23b ocamlfind.1.9.8 9b083cf8a2bb oseq.0.3 8b8ca2ebb446 seq.base 54beea656353 zarith.1.14 137938f33585 === STDOUT === Processing: [default: loading data] [libzipperposition.2.0: extract] -> retrieved libzipperposition.2.0 (cached) [libzipperposition: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "libzipperposition" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/libzipperposition.2.0) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3+8 -w -3 -color always -safe-string -w -32-50 -g -bin-annot -I src/prover/.libzipperposition.objs/byte -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -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/logtk -I /home/opam/.opam/default/lib/logtk/parsers -I /home/opam/.opam/default/lib/logtk/proofs -I /home/opam/.opam/default/lib/msat -I /home/opam/.opam/default/lib/oseq -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Libzipperposition -o src/prover/.libzipperposition.objs/byte/libzipperposition__Combinators_base.cmo -c -impl src/prover/combinators_base.ml) - File "src/prover/combinators_base.ml", line 63, characters 11-18: - 63 | let mk_s ?(args=[]) ~alpha ~beta ~gamma = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - File "src/prover/combinators_base.ml", line 71, characters 11-18: - 71 | let mk_c ?(args=[]) ~alpha ~beta ~gamma = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - File "src/prover/combinators_base.ml", line 79, characters 11-18: - 79 | let mk_b ?(args=[]) ~alpha ~beta ~gamma = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - File "src/prover/combinators_base.ml", line 87, characters 11-18: - 87 | let mk_k ?(args=[]) ~alpha ~beta = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - File "src/prover/combinators_base.ml", line 94, characters 11-18: - 94 | let mk_i ?(args=[]) ~alpha = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -warn-error -3+8 -w -3 -color always -safe-string -w -32-50 -g -O3 -unbox-closures -unbox-closures-factor 20 -I src/prover/.libzipperposition.objs/byte -I src/prover/.libzipperposition.objs/native -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -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/logtk -I /home/opam/.opam/default/lib/logtk/parsers -I /home/opam/.opam/default/lib/logtk/proofs -I /home/opam/.opam/default/lib/msat -I /home/opam/.opam/default/lib/oseq -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Libzipperposition -o src/prover/.libzipperposition.objs/native/libzipperposition__Combinators_base.cmx -c -impl src/prover/combinators_base.ml) - File "src/prover/combinators_base.ml", line 63, characters 11-18: - 63 | let mk_s ?(args=[]) ~alpha ~beta ~gamma = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - File "src/prover/combinators_base.ml", line 71, characters 11-18: - 71 | let mk_c ?(args=[]) ~alpha ~beta ~gamma = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - File "src/prover/combinators_base.ml", line 79, characters 11-18: - 79 | let mk_b ?(args=[]) ~alpha ~beta ~gamma = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - File "src/prover/combinators_base.ml", line 87, characters 11-18: - 87 | let mk_k ?(args=[]) ~alpha ~beta = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - File "src/prover/combinators_base.ml", line 94, characters 11-18: - 94 | let mk_i ?(args=[]) ~alpha = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -warn-error -3+8 -w -3 -color always -safe-string -w -32-50 -g -bin-annot -I src/prover/.libzipperposition.objs/byte -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -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/logtk -I /home/opam/.opam/default/lib/logtk/parsers -I /home/opam/.opam/default/lib/logtk/proofs -I /home/opam/.opam/default/lib/msat -I /home/opam/.opam/default/lib/oseq -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Libzipperposition -o src/prover/.libzipperposition.objs/byte/libzipperposition__Combinators.cmo -c -impl src/prover/combinators.ml) - File "src/prover/combinators.ml", line 84, characters 23-30: - 84 | let type_of_vars ?(args=[]) ~ret = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -warn-error -3+8 -w -3 -color always -safe-string -w -32-50 -g -O3 -unbox-closures -unbox-closures-factor 20 -I src/prover/.libzipperposition.objs/byte -I src/prover/.libzipperposition.objs/native -I /home/opam/.opam/default/lib/containers -I /home/opam/.opam/default/lib/containers-data -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/logtk -I /home/opam/.opam/default/lib/logtk/parsers -I /home/opam/.opam/default/lib/logtk/proofs -I /home/opam/.opam/default/lib/msat -I /home/opam/.opam/default/lib/oseq -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Libzipperposition -o src/prover/.libzipperposition.objs/native/libzipperposition__Combinators.cmx -c -impl src/prover/combinators.ml) - File "src/prover/combinators.ml", line 84, characters 23-30: - 84 | let type_of_vars ?(args=[]) ~ret = - ^^^^^^^ - Warning 16 [unerasable-optional-argument]: this optional argument cannot be erased. -> compiled libzipperposition.2.0 -> installed libzipperposition.2.0 [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 23:17.12: OK: build libzipperposition.2.0 (runc: 26.7s, disk: 14KB) 2026-09-03 23:17.12: Job succeeded