Build:
- 0
2026-06-16 12:19.40: New job: build coq-stdlib.8.19.2 (ba14130c2753) 2026-06-16 12:19.40: Waiting for resource in pool day11-builds 2026-06-16 12:59.23: Got resource from pool day11-builds 2026-06-16 12:59.23: [profile full] build coq-stdlib.8.19.2 2026-06-16 12:59.23: build coq-stdlib.8.19.2 (ba14130c2753) === DEPENDENCIES (12 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d conf-gmp.5 61e3c79e0ddf conf-linux-libc-dev.0 096e638ca371 conf-pkg-config.5 64c6b37d622b coq-core.8.19.2 8206933664ce dune.3.23.1 9174d78a1f0e ocaml.5.2.1 b36a3a003df3 ocaml-base-compiler.5.2.1 91ea68ae8779 ocaml-config.3 291db63d419b ocamlfind.1.9.6 36f1f9a3ee82 zarith.1.14 058558459586 === 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-16 13:12.09: OK: build coq-stdlib.8.19.2 (runc: 743.1s, disk: 9KB) 2026-06-16 13:12.09: Job succeeded