Build:
- 0
2026-09-29 19:02.08: New job: build rocq-runtime.9.3.0 (c09979239bc6) 2026-09-29 19:02.08: [profile odoc-master-mini] build rocq-runtime.9.3.0 2026-09-29 19:02.11: build rocq-runtime.9.3.0 (c09979239bc6) === DEPENDENCIES (12 transitive) === base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 compiler-cloning.enabled 9ab6e8146b48 conf-gmp.5 00570d20295f conf-linux-libc-dev.0 6a88f9847ca1 conf-pkg-config.5 5bc8297bba82 dune.3.24.2 fc1180f13f25 ocaml.5.5.1 62cb7e73ffb1 ocaml-base-compiler.5.5.1 3187d6d6f452 ocaml-compiler.5.5.1 3af2e5d33cd9 ocamlfind.1.9.9~preview 7593ab790e0d zarith.1.14 7dd741cbd805 === STDOUT === Processing: [default: loading data] [rocq-runtime.9.3.0: dl] [rocq-runtime.9.3.0: extract] -> retrieved rocq-runtime.9.3.0 (https://opam.ocaml.org/cache) [rocq-runtime: ./configure no] + /home/opam/.opam/default/.opam-switch/build/rocq-runtime.9.3.0/./configure "-release" "-relocatable" "-native-compiler" "no" (CWD=/home/opam/.opam/default/.opam-switch/build/rocq-runtime.9.3.0) - You have OCaml 5.5.1. Good! - You have OCamlfind 1.9.9~preview. 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.1 - 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 (relocatable prefix)/ - - the Rocq library is expected in (relocatable prefix)/lib/coq - - the Rocqide configuration files is expected in (relocatable prefix)/etc/xdg/coq - - the Rocqide data files is expected in (relocatable prefix)/share/coq - - documentation prefix path for all Rocq packages is expected in (relocatable prefix)/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.3.0) - (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.3.0) -> compiled rocq-runtime.9.3.0 -> installed rocq-runtime.9.3.0 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-09-29 19:04.20: OK: build rocq-runtime.9.3.0 (runc: 113.7s, disk: 9KB) 2026-09-29 19:04.34: Job succeeded