Build:
- 0
2026-06-26 10:26.38: New job: build vsrocq-language-server.2.4.3 (0c21bb727525)
2026-06-26 10:26.38: Waiting for resource in pool day11-builds
2026-06-26 11:10.45: Got resource from pool day11-builds
2026-06-26 11:10.45: [profile full] build vsrocq-language-server.2.4.3
2026-06-26 11:10.45: build vsrocq-language-server.2.4.3 (0c21bb727525)
=== DEPENDENCIES (57 transitive) ===
base.v0.17.3 ed5a486e7ebb
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
conf-gmp.5 be11edf77089
conf-linux-libc-dev.0 2d4ad9bc3a8f
conf-pkg-config.5 d5de2c6a88f9
coq-core.8.20.1 6b2c9fd7972e
coq-stdlib.8.20.1 d9560a7ae934
cppo.1.8.0 5c4880c36377
csexp.1.5.2 daa725d901fe
dune.3.23.1 dc7ac21ea3be
dune-configurator.3.23.1 e27f781e405b
jane-street-headers.v0.17.0 1c2b42b3d067
jsonrpc.1.27.0 e57132882b26
jst-config.v0.17.0 2ba594f8f67d
lsp.1.27.0 60daa2bc49cf
num.1.6 3d665f14515a
ocaml.5.4.1 71fed6f83b21
ocaml-base-compiler.5.4.1 4b8cbe74bda9
ocaml-compiler.5.4.1 df07189447bd
ocaml-compiler-libs.v0.17.0 16db8c1cf256
ocaml-config.3 e4a06a221f09
ocaml_intrinsics_kernel.v0.17.2 878219626ba7
ocamlbuild.0.16.1 17067329c57b
ocamlfind.1.9.8 567e34ecf540
octavius.1.2.2 3aff03701a69
parsexp.v0.17.0 4b0592ae8f3a
ppx_assert.v0.17.0 23585d2b9b98
ppx_base.v0.17.0 b184e86ea94f
ppx_cold.v0.17.0 71189f6860ce
ppx_compare.v0.17.0 0852c716db22
ppx_derivers.1.2.1 9db920257470
ppx_deriving.6.1.1 61fa95bb193b
ppx_enumerate.v0.17.0 4975618160c5
ppx_globalize.v0.17.2 c3caf13d4dfc
ppx_hash.v0.17.0 7cff432a1d07
ppx_here.v0.17.0 e3eb00803330
ppx_import.1.12.0 65df0fd7fa1b
ppx_inline_test.v0.17.1 afda04b3ab2d
ppx_js_style.v0.17.1 928974aecdf8
ppx_optcomp.v0.17.1 7a46a660d042
ppx_sexp_conv.v0.17.1 edcd83a14fc1
ppx_yojson_conv.v0.17.1 eb807db7c508
ppx_yojson_conv_lib.v0.17.0 3ccf49ba239d
ppxlib.0.38.0 778175ab9125
ppxlib_jane.v0.17.4 05d65c2165fa
result.1.5 e4714ddd4258
sel.0.8.0 bc47d372120a
sexplib.v0.17.0 900940f2d93a
sexplib0.v0.17.0 bc4140a6824d
stdio.v0.17.0 b8ac4773f025
stdlib-shims.0.3.0 d3f2d28ed00d
time_now.v0.17.0 c5cedc369153
topkg.1.1.1 6f52f98db34d
uutf.1.0.4 8a685c3c382d
yojson.3.0.0 08149c2c002d
zarith.1.14 442c15edac63
=== STDOUT ===
Processing: [default: loading data]
[vsrocq-language-server.2.4.3: dl]
[vsrocq-language-server.2.4.3: extract]
-> retrieved vsrocq-language-server.2.4.3 (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.3)
- 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.3)
-> compiled vsrocq-language-server.2.4.3
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config
-> installed vsrocq-language-server.2.4.3
=== STDERR ===
2026-06-26 11:13.46: OK: build vsrocq-language-server.2.4.3 (runc: 23.7s, disk: 16KB)
2026-06-26 11:13.46: Job succeeded