Build:
- 0
2026-06-24 11:29.14: New job: build coq-stdlib.8.19.2 (ae1c34e0eb4c) 2026-06-24 11:29.14: Waiting for resource in pool day11-builds 2026-06-24 12:29.19: Got resource from pool day11-builds 2026-06-24 12:29.19: [profile full] build coq-stdlib.8.19.2 2026-06-24 12:29.19: build coq-stdlib.8.19.2 (ae1c34e0eb4c) === DEPENDENCIES (12 transitive) === base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb conf-gmp.5 be11edf77089 conf-linux-libc-dev.0 2d4ad9bc3a8f conf-pkg-config.5 d5de2c6a88f9 coq-core.8.19.2 ab97df6137ee dune.3.23.1 e0b92eb669dd ocaml.5.2.1 ce2dc9fc0eff ocaml-base-compiler.5.2.1 88ed4056afb0 ocaml-config.3 2c9ee201ff82 ocamlfind.1.9.6 3a89949ac495 zarith.1.14 1762d95c22de === STDOUT === Processing: [default: loading data] [coq-stdlib.8.19.2: extract] -> retrieved coq-stdlib.8.19.2 (cached) [coq-stdlib: make dunestrap] + /usr/bin/make "dunestrap" "COQ_DUNE_EXTRA_OPT=-split" "DUNESTRAPOPT=-p coq-stdlib" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-stdlib.8.19.2) - dune build -p coq-stdlib theories_dune ltac2_dune - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -O3 -unbox-closures -I tools/coqdep/lib/.coqdeplib.objs/byte -I tools/coqdep/lib/.coqdeplib.objs/native -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/perf -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -cmi-file tools/coqdep/lib/.coqdeplib.objs/byte/coqdeplib__Fl.cmi -no-alias-deps -open Coqdeplib -o tools/coqdep/lib/.coqdeplib.objs/native/coqdeplib__Fl.cmx -c -impl tools/coqdep/lib/fl.ml) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Findlib, and its interface was not compiled with -opaque - - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Fl_metascanner, and its interface was not compiled with -opaque - - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Fl_package_base, and its interface was not compiled with -opaque - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -w +a-40-42 -g -O3 -unbox-closures -I tools/dune_rule_gen/.coq_dune.objs/byte -I tools/dune_rule_gen/.coq_dune.objs/native -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/perf -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I tools/coqdep/lib/.coqdeplib.objs/byte -I tools/coqdep/lib/.coqdeplib.objs/native -cmi-file tools/dune_rule_gen/.coq_dune.objs/byte/coq_dune__Coq_rules.cmi -no-alias-deps -open Coq_dune -o tools/dune_rule_gen/.coq_dune.objs/native/coq_dune__Coq_rules.cmx -c -impl tools/dune_rule_gen/coq_rules.ml) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Findlib, and its interface was not compiled with -opaque - - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Fl_package_base, and its interface was not compiled with -opaque - touch .dune-stamp - cp -a _build/default/theories_dune theories/dune && chmod +w theories/dune - cp -a _build/default/ltac2_dune user-contrib/Ltac2/dune && chmod +w user-contrib/Ltac2/dune [coq-stdlib: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "coq-stdlib" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-stdlib.8.19.2) [coq-stdlib: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "coq-stdlib" "--create-install-files" "coq-stdlib" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-stdlib.8.19.2) -> compiled coq-stdlib.8.19.2 -> installed coq-stdlib.8.19.2 [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 13:00.02: OK: build coq-stdlib.8.19.2 (runc: 827.0s, disk: 10KB) 2026-06-24 13:00.02: Job succeeded