Build:
- 0
2026-09-03 23:00.28: New job: build coq-lsp.0.1.8+8.17 (c2e44deb7620) 2026-09-03 23:00.28: Waiting for resource in pool day11-builds 2026-09-03 23:54.07: Got resource from pool day11-builds 2026-09-03 23:54.07: [profile full] build coq-lsp.0.1.8+8.17 2026-09-03 23:54.07: build coq-lsp.0.1.8+8.17 (c2e44deb7620) === DEPENDENCIES (49 transitive) === angstrom.0.16.1 0aa9c0f528b0 base.v0.17.3 0a2cce7a4a1e base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e bigstringaf.0.10.0 dda23415d211 cmdliner.2.1.1 c9a2916d6ca1 conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 coq.8.17.1 cf8689b82ee8 coq-core.8.17.1 5a2459c6e739 coq-serapi.8.17.0+0.17.3 3164109cca88 coq-stdlib.8.17.1 4b1bc871a6cc coqide-server.8.17.1 a333b2089d0d cppo.1.8.0 74dc2f706e2c csexp.1.5.2 5cdde625119a dune.3.23.1 8f7100a6dadb dune-build-info.3.23.1 5ad2be9e4d85 dune-configurator.3.23.1 4b7ece609679 menhir.20260209 b52a44eb55d6 menhirCST.20260209 787dd486edbe menhirGLR.20260209 dcedfbd0207b menhirLib.20260209 5ff3d4a2b94c menhirSdk.20260209 93763609a94d num.1.6 594caeb3af0f ocaml.5.2.1 d8399d6b6c43 ocaml-base-compiler.5.2.1 a53cb1b6356d ocaml-compiler-libs.v0.17.0 b734d9db188b ocaml-config.3 1c357e4d2066 ocaml-syntax-shims.1.0.0 44497d411684 ocaml_intrinsics_kernel.v0.17.2 52c67d233a33 ocamlfind.1.9.6 f5188a4031fd parsexp.v0.17.0 79306f90b34f ppx_compare.v0.17.0 0ade63655107 ppx_derivers.1.2.1 9af18e52f8cf ppx_deriving.5.2.1 22a3d1241fcc ppx_deriving_yojson.3.9.1 7e7e3d8a3277 ppx_hash.v0.17.0 4fe6fea50b7e ppx_import.1.12.0 a8d0c2073e59 ppx_sexp_conv.v0.17.0 7bf5150603c1 ppxlib.0.35.0 b3ab5af5b52b ppxlib_jane.v0.17.0 f309eadade3b result.1.5 4a43686eef55 sexplib.v0.17.0 92f9772c8a02 sexplib0.v0.17.0 9c5a9903f331 stdlib-shims.0.3.0 d5a8c92cbb5c stringext.1.6.0 1ce45ae84981 uri.4.4.0 6bcdb849bbee yojson.3.0.0 d68214e9e5ff zarith.1.14 bb41e598f9ec === STDOUT === Processing: [default: loading data] [coq-lsp.0.1.8+8.17: dl] [coq-lsp.0.1.8+8.17: extract] -> retrieved coq-lsp.0.1.8+8.17 (https://opam.ocaml.org/cache) [coq-lsp: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "coq-lsp" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/coq-lsp.0.1.8+8.17) - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -I controller/.coq_lsp.eobjs/byte -I controller/.coq_lsp.eobjs/native -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -cmi-file controller/.coq_lsp.eobjs/byte/findlib_initl.cmi -no-alias-deps -opaque -o controller/.coq_lsp.eobjs/native/findlib_initl.cmx -c -impl controller/.coq_lsp.eobjs/findlib_initl.ml-gen) - 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 - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -I compiler/.fcc.eobjs/byte -I compiler/.fcc.eobjs/native -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -cmi-file compiler/.fcc.eobjs/byte/findlib_initl.cmi -no-alias-deps -opaque -o compiler/.fcc.eobjs/native/findlib_initl.cmx -c -impl compiler/.fcc.eobjs/findlib_initl.ml-gen) - 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 - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I coq/.coq.objs/byte -I coq/.coq.objs/native -I /home/opam/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/coqworkmgrapi -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/coq-serapi/serlib -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I lang/.lang.objs/byte -I lang/.lang.objs/native -cmi-file coq/.coq.objs/byte/coq__Loader.cmi -no-alias-deps -open Coq -o coq/.coq.objs/native/coq__Loader.cmx -c -impl coq/loader.ml) - 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_dynload, and its interface was not compiled with -opaque - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I coq/.coq.objs/byte -I coq/.coq.objs/native -I /home/opam/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/coqworkmgrapi -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/coq-serapi/serlib -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I lang/.lang.objs/byte -I lang/.lang.objs/native -cmi-file coq/.coq.objs/byte/coq__Workspace.cmi -no-alias-deps -open Coq -o coq/.coq.objs/native/coq__Workspace.cmx -c -impl coq/workspace.ml) - 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 - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I compiler/.fcc_lib.objs/byte -I compiler/.fcc_lib.objs/native -I /home/opam/.opam/default/lib/angstrom -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/bigstringaf -I /home/opam/.opam/default/lib/coq-core/boot -I /home/opam/.opam/default/lib/coq-core/clib -I /home/opam/.opam/default/lib/coq-core/config -I /home/opam/.opam/default/lib/coq-core/coqworkmgrapi -I /home/opam/.opam/default/lib/coq-core/engine -I /home/opam/.opam/default/lib/coq-core/gramlib -I /home/opam/.opam/default/lib/coq-core/interp -I /home/opam/.opam/default/lib/coq-core/kernel -I /home/opam/.opam/default/lib/coq-core/lib -I /home/opam/.opam/default/lib/coq-core/library -I /home/opam/.opam/default/lib/coq-core/parsing -I /home/opam/.opam/default/lib/coq-core/pretyping -I /home/opam/.opam/default/lib/coq-core/printing -I /home/opam/.opam/default/lib/coq-core/proofs -I /home/opam/.opam/default/lib/coq-core/stm -I /home/opam/.opam/default/lib/coq-core/sysinit -I /home/opam/.opam/default/lib/coq-core/tactics -I /home/opam/.opam/default/lib/coq-core/vernac -I /home/opam/.opam/default/lib/coq-core/vm -I /home/opam/.opam/default/lib/coq-serapi/serlib -I /home/opam/.opam/default/lib/findlib -I /home/opam/.opam/default/lib/ocaml/dynlink -I /home/opam/.opam/default/lib/ocaml/str -I /home/opam/.opam/default/lib/ocaml/threads -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocaml_intrinsics_kernel -I /home/opam/.opam/default/lib/parsexp -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/result -I /home/opam/.opam/default/lib/sexplib -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stringext -I /home/opam/.opam/default/lib/uri -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -I coq/.coq.objs/byte -I coq/.coq.objs/native -I fleche/.fleche.objs/byte -I fleche/.fleche.objs/native -I fleche/waterproof/.fleche_waterproof.objs/byte -I fleche/waterproof/.fleche_waterproof.objs/native -I lang/.lang.objs/byte -I lang/.lang.objs/native -I lsp/.lsp.objs/byte -I lsp/.lsp.objs/native -cmi-file compiler/.fcc_lib.objs/byte/fcc_lib__Driver.cmi -no-alias-deps -open Fcc_lib -o compiler/.fcc_lib.objs/native/fcc_lib__Driver.cmx -c -impl compiler/driver.ml) - File "_none_", line 1: - Warning 58 [no-cmx-file]: no cmx file was found in path for module Fl_dynload, and its interface was not compiled with -opaque -> compiled coq-lsp.0.1.8+8.17 -> installed coq-lsp.0.1.8+8.17 [WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config === STDERR === 2026-09-03 23:54.41: OK: build coq-lsp.0.1.8+8.17 (runc: 24.7s, disk: 20KB) 2026-09-03 23:54.41: Job succeeded