Build:
- 0
2026-06-23 18:15.15: New job: build libzipperposition.2.0 (c57581dbdf2e) 2026-06-23 18:15.15: Waiting for resource in pool day11-builds 2026-06-23 19:55.16: Got resource from pool day11-builds 2026-06-23 19:55.16: [profile full] build libzipperposition.2.0 2026-06-23 19:55.16: build libzipperposition.2.0 (c57581dbdf2e) === DEPENDENCIES (25 transitive) === base-bigarray.base dfc2a7e726c3 base-bytes.base 9e3796bcb03e base-threads.base b7164ff76afe base-unix.base 839dc585f12d conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 4b60827fc174 containers.3.18 f52a4ff94453 containers-data.3.18 8d0f3357c92b csexp.1.5.2 be052fa6b82c dune.3.22.2 ad6d28ec9960 dune-configurator.3.22.2 43df73c35f4a either.1.0.0 99dfe087d748 iter.1.9 72c2b4de67ef logtk.2.0 6bbe50b0be8f menhir.20211128 0711135b7995 menhirLib.20211128 38a8492b6397 menhirSdk.20211128 0d95d280c37a msat.0.8.3 71399315ec19 ocaml.4.12.1 b220906b3826 ocaml-base-compiler.4.12.1 ce8680725b32 ocaml-config.2 3a99bd9dbb34 ocamlfind.1.9.8 9ccba9f3d58c oseq.0.3 fe27b6868364 seq.base 464aa74108c5 zarith.1.14 225725c00487 === 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-23 19:55.56: OK: build libzipperposition.2.0 (runc: 31.1s, disk: 14KB) 2026-06-23 19:55.56: Job succeeded