Build:
- 0
2026-06-16 12:19.40: New job: build coq-stdlib.8.17.1 (11455754931e) 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.17.1 2026-06-16 12:59.23: build coq-stdlib.8.17.1 (11455754931e) === DEPENDENCIES (11 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b coq-core.8.17.1 f706c9bc0b7f 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.17.1: extract] -> retrieved coq-stdlib.8.17.1 (cached) [coq-stdlib: ./configure no] + /home/opam/.opam/default/.opam-switch/build/coq-stdlib.8.17.1/./configure "-prefix" "/home/opam/.opam/default" "-mandir" "/home/opam/.opam/default/man" "-libdir" "/home/opam/.opam/default/lib/coq" "-native-compiler" "no" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-stdlib.8.17.1) - You have OCaml 5.2.1. Good! - You have OCamlfind 1.9.6. Good! - You have native-code compilation. Good! - You have the Zarith library 1.14 installed. Good! - - Architecture : Linux - Sys.os_type : Unix - OCaml version : 5.2.1 - OCaml binaries in : /home/opam/.opam/default/bin/ - OCaml library in : /home/opam/.opam/default/lib/ocaml - Web browser : firefox -remote "OpenURL(%s,new-tab)" || firefox %s & - Coq web site : http://coq.inria.fr/ - Bytecode VM enabled : true - Native Compiler enabled : no - - Paths where installation is expected by Coq Makefile: - - Coq is expected in /home/opam/.opam/default - - the Coq library is expected in /home/opam/.opam/default/lib/coq - - the Coqide configuration files is expected in /home/opam/.opam/default/etc/xdg/coq - - the Coqide data files is expected in /home/opam/.opam/default/share/coq - - the Coq man pages is expected in /home/opam/.opam/default/man - - documentation prefix path for all Coq packages is expected in /home/opam/.opam/default/share/doc - - If anything is wrong above, please restart './configure'. - - *Warning* To compile the system for a new architecture - don't forget to do a 'make clean' before './configure'. [coq-stdlib: make dunestrap] + /usr/bin/make "dunestrap" "COQ_DUNE_EXTRA_OPT=-split" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-stdlib.8.17.1) - dune build --root . theories_dune ltac2_dune - 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 - 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" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-stdlib.8.17.1) -> compiled coq-stdlib.8.17.1 -> installed coq-stdlib.8.17.1 [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:07.42: OK: build coq-stdlib.8.17.1 (runc: 474.9s, disk: 9KB) 2026-06-16 13:07.42: Job succeeded