Build:
- 0
2026-06-24 17:47.36: New job: build libzipperposition.2.0 (911bc5618be2) 2026-06-24 17:47.36: Waiting for resource in pool day11-builds 2026-06-24 18:35.04: Got resource from pool day11-builds 2026-06-24 18:35.04: [profile full] build libzipperposition.2.0 2026-06-24 18:35.05: build libzipperposition.2.0 (911bc5618be2) === DEPENDENCIES (27 transitive) === base-bigarray.base 2e16f77d4cae base-bytes.base b739da2a1ca5 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb conf-gmp.5 be11edf77089 conf-pkg-config.5 d5de2c6a88f9 containers.3.18 bdabebafc082 containers-data.3.18 e3df2ec93719 csexp.1.5.2 cbff46c78e23 dune.3.23.1 ec34fe9ebf2c dune-configurator.3.22.2 f3081e3d47cb either.1.0.0 f9081c19c9e6 iter.1.9 60307fb587d5 logtk.2.0 0a110eef7d80 menhir.20211128 e53a31f8d601 menhirLib.20211128 36ef191910d7 menhirSdk.20211128 a00d838f1b2b msat.0.8.3 1deee89e7002 ocaml.4.12.1 dee35ad2ab01 ocaml-base-compiler.4.12.1 16a69ab1424d ocaml-config.2 e77f021f2144 ocaml-secondary-compiler.4.14.2 fb63d435ed9e ocamlfind.1.9.6 8d8d9a490c0f ocamlfind-secondary.1.9.6 e7e9f5a4b1a5 oseq.0.3 84ea1a557919 seq.base 67d9aec3c6ca zarith.1.14 41a3771fe99d === 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-06-24 18:35.26: OK: build libzipperposition.2.0 (runc: 17.6s, disk: 15KB) 2026-06-24 18:35.26: Job succeeded