Build:
- 0
2026-06-16 18:42.48: New job: build vsrocq-language-server.2.4.1 (90456e5fe590)
2026-06-16 18:42.48: Waiting for resource in pool day11-builds
2026-06-16 18:55.40: Got resource from pool day11-builds
2026-06-16 18:55.40: [profile full] build vsrocq-language-server.2.4.1
2026-06-16 18:55.40: build vsrocq-language-server.2.4.1 (90456e5fe590)
=== DEPENDENCIES (57 transitive) ===
base.v0.17.3 876ca94bfeea
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.20.1 0844c86465f0
coq-stdlib.8.20.1 4623b1f941f7
cppo.1.8.0 3c775a388c9d
csexp.1.5.2 e2491a88a8e9
dune.3.23.1 d50060dd2cab
dune-configurator.3.23.1 83dd42d9abe2
jane-street-headers.v0.17.0 aa10f2b137d5
jsonrpc.1.26.0 95e0161880cb
jst-config.v0.17.0 064b0c8c9511
lsp.1.26.0 ad47134f318f
num.1.6 158dee1e5f8c
ocaml.5.4.1 708fed352b2a
ocaml-base-compiler.5.4.1 89b85703f841
ocaml-compiler.5.4.1 a719b8419b8e
ocaml-compiler-libs.v0.17.0 bb35244dbd80
ocaml-config.3 aa27f63940d8
ocaml_intrinsics_kernel.v0.17.2 faf575551ca9
ocamlbuild.0.16.1 069fc1e567af
ocamlfind.1.9.8 5cfa73ef65e7
octavius.1.2.2 a219fcf4d8cd
parsexp.v0.17.0 3e5ce3992c1d
ppx_assert.v0.17.0 4fdbcf96c66a
ppx_base.v0.17.0 6a20c5d7f872
ppx_cold.v0.17.0 d9892f8a9678
ppx_compare.v0.17.0 265ac1f85a8d
ppx_derivers.1.2.1 48d8f0a02148
ppx_deriving.6.1.1 21563319369c
ppx_enumerate.v0.17.0 6c421cbd81e8
ppx_globalize.v0.17.2 0bf7b4fa32d2
ppx_hash.v0.17.0 1b88fe8478c5
ppx_here.v0.17.0 786235a9a0d3
ppx_import.1.12.0 0bd7b1d5ca8e
ppx_inline_test.v0.17.1 87a1fe4ea12c
ppx_js_style.v0.17.1 4a720d8a41c7
ppx_optcomp.v0.17.1 f4f7ae1ac9ef
ppx_sexp_conv.v0.17.1 3f62d77bb0bb
ppx_yojson_conv.v0.17.1 fc64f56c9a7f
ppx_yojson_conv_lib.v0.17.0 2ddcd2dc4131
ppxlib.0.38.0 089dd9eec9cd
ppxlib_jane.v0.17.4 a62b992f5e07
result.1.5 bde760920416
sel.0.8.0 4af57b0aa338
sexplib.v0.17.0 06685797e3a3
sexplib0.v0.17.0 3a274f46ef22
stdio.v0.17.0 21fc57d63ba6
stdlib-shims.0.3.0 b64bd5274094
time_now.v0.17.0 59a9c0b675fa
topkg.1.1.1 4a88955a28b6
uutf.1.0.4 ad2e6a0fa988
yojson.3.0.0 fcc5f5f6d1cc
zarith.1.14 b2ef7cdb0e39
=== STDOUT ===
Processing: [default: loading data]
[vsrocq-language-server.2.4.1: dl]
[vsrocq-language-server.2.4.1: extract]
-> retrieved vsrocq-language-server.2.4.1 (https://opam.ocaml.org/cache)
[vsrocq-language-server: make dune-files]
+ /usr/bin/make "dune-files" (CWD=/home/opam/.opam/default/.opam-switch/build/vsrocq-language-server.2.4.1)
- version=$(if command -v coqc >/dev/null; then coqc -print-version; else rocq -print-version; fi); \
- version=${version% *}; \
- if echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\.[0-9]\+$'; then \
- major_version=${version%%.*}; version=${version%.*};\
- elif echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\(+.*\|\)$'; then \
- major_version=${version%.*}; \
- else\
- echo "failed to parse version ${version}"; exit 1;\
- fi;\
- if [ "${major_version}" = 8 ]; then \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/coq-core/g' vsrocqtop/dune.in >> vsrocqtop/dune; \
- else \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/rocq-runtime/g' vsrocqtop/dune.in >> vsrocqtop/dune; \
- fi
- version=$(if command -v coqc >/dev/null; then coqc -print-version; else rocq -print-version; fi); \
- version=${version% *}; \
- if echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\.[0-9]\+$'; then \
- major_version=${version%%.*}; version=${version%.*};\
- elif echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\(+.*\|\)$'; then \
- major_version=${version%.*}; \
- else\
- echo "failed to parse version ${version}"; exit 1;\
- fi;\
- if [ "${major_version}" = 8 ]; then \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/coq-core/g' dm/dune.in >> dm/dune; \
- else \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/rocq-runtime/g' dm/dune.in >> dm/dune; \
- fi
- version=$(if command -v coqc >/dev/null; then coqc -print-version; else rocq -print-version; fi); \
- version=${version% *}; \
- if echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\.[0-9]\+$'; then \
- major_version=${version%%.*}; version=${version%.*};\
- elif echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\(+.*\|\)$'; then \
- major_version=${version%.*}; \
- else\
- echo "failed to parse version ${version}"; exit 1;\
- fi;\
- if [ "${major_version}" = 8 ]; then \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/coq-core/g' protocol/dune.in >> protocol/dune; \
- else \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/rocq-runtime/g' protocol/dune.in >> protocol/dune; \
- fi
- version=$(if command -v coqc >/dev/null; then coqc -print-version; else rocq -print-version; fi); \
- version=${version% *}; \
- if echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\.[0-9]\+$'; then \
- major_version=${version%%.*}; version=${version%.*};\
- elif echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\(+.*\|\)$'; then \
- major_version=${version%.*}; \
- else\
- echo "failed to parse version ${version}"; exit 1;\
- fi;\
- if [ "${major_version}" = 8 ]; then \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/coq-core/g' language/dune.in >> language/dune; \
- else \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/rocq-runtime/g' language/dune.in >> language/dune; \
- fi
- version=$(if command -v coqc >/dev/null; then coqc -print-version; else rocq -print-version; fi); \
- version=${version% *}; \
- if echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\.[0-9]\+$'; then \
- major_version=${version%%.*}; version=${version%.*};\
- elif echo ${version} | grep -q '^[0-9]\+\.[0-9]\+\(+.*\|\)$'; then \
- major_version=${version%.*}; \
- else\
- echo "failed to parse version ${version}"; exit 1;\
- fi;\
- if [ "${major_version}" = 8 ]; then \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/coq-core/g' tests/dune.in >> tests/dune; \
- else \
- sed -e "s/@@ROCQVERSION@@/$version/g" -e 's/@@ROCQ_RUNTIME@@/rocq-runtime/g' tests/dune.in >> tests/dune; \
- fi
[vsrocq-language-server: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "vsrocq-language-server" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/vsrocq-language-server.2.4.1)
-> compiled vsrocq-language-server.2.4.1
-> installed vsrocq-language-server.2.4.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 18:55.58: OK: build vsrocq-language-server.2.4.1 (runc: 10.2s, disk: 15KB)
2026-06-16 18:55.58: Job succeeded