Build:
- 0
2026-06-23 16:45.33: New job: build rocq-runtime.9.1.1 (1eb3bac6e03c) 2026-06-23 16:45.33: [profile full] build rocq-runtime.9.1.1 2026-06-23 16:45.40: build rocq-runtime.9.1.1 (1eb3bac6e03c) === DEPENDENCIES (12 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d compiler-cloning.enabled 0d2606125f88 conf-gmp.5 61e3c79e0ddf conf-linux-libc-dev.0 096e638ca371 conf-pkg-config.5 4b60827fc174 dune.3.23.1 dbfeecb5ca10 ocaml.5.5.0 1b4132bddf48 ocaml-base-compiler.5.5.0 1901c3a760c1 ocaml-compiler.5.5.0 5f593a0b4a8c ocamlfind.1.9.8 5b46f9d92bbd zarith.1.14 e195aa531085 === STDOUT === Processing: [default: loading data] [rocq-runtime.9.1.1: dl] [rocq-runtime.9.1.1: extract] -> retrieved rocq-runtime.9.1.1 (https://opam.ocaml.org/cache) [rocq-runtime: ./configure no] + /home/opam/.opam/default/.opam-switch/build/rocq-runtime.9.1.1/./configure "-release" "-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/rocq-runtime.9.1.1) - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - You have OCaml 5.5.0. Good! - You have OCamlfind 1.9.8. 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.5.0 - OCaml binaries in : /home/opam/.opam/default/bin/ - OCaml library in : /home/opam/.opam/default/lib/ocaml - Web browser : xdg-open "%s" - Rocq web site : http://rocq-prover.org/ - Bytecode VM enabled : true - Native Compiler enabled : no - - Paths where installation is expected by Rocq Makefile: - - Prefix is expected in /home/opam/.opam/default - - the Rocq library is expected in /home/opam/.opam/default/lib/coq - - the Rocqide configuration files is expected in /home/opam/.opam/default/etc/xdg/coq - - the Rocqide data files is expected in /home/opam/.opam/default/share/coq - - the Rocq man pages is expected in /home/opam/.opam/default/man - - documentation prefix path for all Rocq 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'. [rocq-runtime: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "rocq-runtime" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/rocq-runtime.9.1.1) - (cd _build/default && /usr/bin/bash -e -u -o pipefail -c dev/tools/make_git_revision.sh) > _build/default/revision - skipping make_git_revision: git dir not found [rocq-runtime: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "rocq-runtime" "--create-install-files" "rocq-runtime" (CWD=/home/opam/.opam/default/.opam-switch/build/rocq-runtime.9.1.1) -> compiled rocq-runtime.9.1.1 -> installed rocq-runtime.9.1.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-23 16:46.58: OK: build rocq-runtime.9.1.1 (runc: 74.7s, disk: 9KB) 2026-06-23 16:46.58: Job succeeded