Build:
- 0
2026-06-16 17:18.00: New job: build libzipperposition.2.0 (e348e76f42cc) 2026-06-16 17:18.00: Waiting for resource in pool day11-builds 2026-06-16 18:06.52: Got resource from pool day11-builds 2026-06-16 18:06.52: [profile full] build libzipperposition.2.0 2026-06-16 18:06.52: build libzipperposition.2.0 (e348e76f42cc) === DEPENDENCIES (27 transitive) === base-bigarray.base dfc2a7e726c3 base-bytes.base a8b2f2cb4094 base-threads.base b7164ff76afe base-unix.base 839dc585f12d conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b containers.3.18 9135037aff98 containers-data.3.18 de44449621bb csexp.1.5.2 2dc1d42cb195 dune.3.23.1 6e9c895d33c4 dune-configurator.3.22.2 b3ee8ff25f05 either.1.0.0 fe38571b5e15 iter.1.9 126de42e2ebb logtk.2.0 9c08399f99f3 menhir.20211128 a8affc6fb468 menhirLib.20211128 6519336d083f menhirSdk.20211128 f7c804a1ad34 msat.0.8.3 5ff6c215c577 ocaml.4.12.1 b220906b3826 ocaml-base-compiler.4.12.1 ce8680725b32 ocaml-config.2 3a99bd9dbb34 ocaml-secondary-compiler.4.14.2 208983c0e1e0 ocamlfind.1.9.6 6a204c1e4cf6 ocamlfind-secondary.1.9.6 74c288ceaf87 oseq.0.3 581fe1c2555b seq.base 464aa74108c5 zarith.1.14 1c4f6b8a2255 === 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-16 18:07.30: OK: build libzipperposition.2.0 (runc: 28.6s, disk: 14KB) 2026-06-16 18:07.30: Job succeeded