Build:
- 0
2026-06-20 17:00.30: New job: build dedukti.2.6.0 (ba349d5c9edc) 2026-06-20 17:00.30: Waiting for resource in pool day11-builds 2026-06-20 18:32.22: Got resource from pool day11-builds 2026-06-20 18:32.22: [profile full] build dedukti.2.6.0 2026-06-20 18:32.22: build dedukti.2.6.0 (ba349d5c9edc) === DEPENDENCIES (14 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d compiler-cloning.enabled 0d2606125f88 dune.3.23.1 dbfeecb5ca10 menhir.20260209 5f76d1d3722e menhirCST.20260209 b9f719ef3696 menhirGLR.20260209 e70329f7f267 menhirLib.20260209 c73d74bf4444 menhirSdk.20260209 d70f00a72002 ocaml.5.5.0 1b4132bddf48 ocaml-base-compiler.5.5.0 1901c3a760c1 ocaml-compiler.5.5.0 5f593a0b4a8c ocamlbuild.0.16.1 b485a4f69c01 ocamlfind.1.9.8 5b46f9d92bbd === STDOUT === Processing: [default: loading data] [dedukti.2.6.0: dl] [dedukti.2.6.0: extract] -> retrieved dedukti.2.6.0 (https://opam.ocaml.org/cache) [dedukti: make] + /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/dedukti.2.6.0) - [GEN] kernel/version.ml (2.6.0) - [BYT] _build/kernel/kernel.cma - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/basic.cmi kernel/basic.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/term.cmi kernel/term.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/rule.cmi kernel/rule.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/confluence.cmi kernel/confluence.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/dtree.cmi kernel/dtree.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/signature.cmi kernel/signature.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/reduction.cmi kernel/reduction.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/typing.cmi kernel/typing.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/env.cmi kernel/env.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/entry.cmi kernel/entry.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/errors.cmi kernel/errors.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/matching.cmi kernel/matching.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/pp.cmi kernel/pp.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/subst.cmi kernel/subst.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/version.cmi kernel/version.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/basic.cmo kernel/basic.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/confluence.cmo kernel/confluence.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/dtree.cmo kernel/dtree.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/env.cmo kernel/env.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/entry.cmo kernel/entry.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/errors.cmo kernel/errors.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/matching.cmo kernel/matching.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/pp.cmo kernel/pp.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/reduction.cmo kernel/reduction.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/rule.cmo kernel/rule.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/signature.cmo kernel/signature.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/subst.cmo kernel/subst.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/term.cmo kernel/term.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/typing.cmo kernel/typing.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I kernel -I parser -o kernel/version.cmo kernel/version.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -a -package unix -I kernel kernel/basic.cmo kernel/term.cmo kernel/subst.cmo kernel/rule.cmo kernel/confluence.cmo kernel/dtree.cmo kernel/matching.cmo kernel/version.cmo kernel/signature.cmo kernel/reduction.cmo kernel/typing.cmo kernel/env.cmo kernel/entry.cmo kernel/errors.cmo kernel/pp.cmo -o kernel/kernel.cma - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - [OPT] _build/kernel/kernel.cmxa - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/basic.cmx kernel/basic.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/term.cmx kernel/term.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/subst.cmx kernel/subst.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/rule.cmx kernel/rule.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/dtree.cmx kernel/dtree.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/confluence.cmx kernel/confluence.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/version.cmx kernel/version.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/matching.cmx kernel/matching.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/signature.cmx kernel/signature.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/reduction.cmx kernel/reduction.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/typing.cmx kernel/typing.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/env.cmx kernel/env.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/entry.cmx kernel/entry.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/errors.cmx kernel/errors.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I kernel -I parser -o kernel/pp.cmx kernel/pp.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -a -package unix -I kernel kernel/basic.cmx kernel/term.cmx kernel/subst.cmx kernel/rule.cmx kernel/confluence.cmx kernel/dtree.cmx kernel/matching.cmx kernel/version.cmx kernel/signature.cmx kernel/reduction.cmx kernel/typing.cmx kernel/env.cmx kernel/entry.cmx kernel/errors.cmx kernel/pp.cmx -o kernel/kernel.cmxa - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - [BYT] _build/parser/parser.cma - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/tokens.cmo parser/tokens.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/parser.cmi parser/parser.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/lexer.cmo parser/lexer.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/internals.cmo parser/internals.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/preterm.cmi parser/preterm.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/scoping.cmi parser/scoping.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + menhir --ocamlc 'ocamlfind ocamlc -package unix -I parser -I kernel' --infer --external-tokens Tokens parser/menhir_parser.mly - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/menhir_parser.cmi parser/menhir_parser.mli - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/parser.cmo parser/parser.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/preterm.cmo parser/preterm.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/scoping.cmo parser/scoping.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I parser -I kernel -o parser/menhir_parser.cmo parser/menhir_parser.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - File "parser/menhir_parser.ml", lines 1228-1292, characters 4-15: - 1228 | ....match _tok with - 1229 | | Tokens.UNDERSCORE _ -> - 1230 | "UNDERSCORE" - 1231 | | Tokens.TYPE _ -> - 1232 | "TYPE" - ... - 1289 | | Tokens.ASSERT _ -> - 1290 | "ASSERT" - 1291 | | Tokens.ARROW -> - 1292 | "ARROW" - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: (CCOLON|INT _) - + ocamlfind ocamlc -a -package unix -I parser parser/tokens.cmo parser/lexer.cmo parser/internals.cmo parser/preterm.cmo parser/scoping.cmo parser/menhir_parser.cmo parser/parser.cmo -o parser/parser.cma - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - [OPT] _build/parser/parser.cmxa - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I parser -I kernel -o parser/tokens.cmx parser/tokens.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I parser -I kernel -o parser/lexer.cmx parser/lexer.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I parser -I kernel -o parser/internals.cmx parser/internals.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I parser -I kernel -o parser/preterm.cmx parser/preterm.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I parser -I kernel -o parser/scoping.cmx parser/scoping.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I parser -I kernel -o parser/menhir_parser.cmx parser/menhir_parser.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - File "parser/menhir_parser.ml", lines 1228-1292, characters 4-15: - 1228 | ....match _tok with - 1229 | | Tokens.UNDERSCORE _ -> - 1230 | "UNDERSCORE" - 1231 | | Tokens.TYPE _ -> - 1232 | "TYPE" - ... - 1289 | | Tokens.ASSERT _ -> - 1290 | "ASSERT" - 1291 | | Tokens.ARROW -> - 1292 | "ARROW" - Warning 8 [partial-match]: this pattern-matching is not exhaustive. - Here is an example of a case that is not matched: (CCOLON|INT _) - + ocamlfind ocamlopt -c -package unix -I parser -I kernel -o parser/parser.cmx parser/parser.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -a -package unix -I parser parser/tokens.cmx parser/lexer.cmx parser/internals.cmx parser/preterm.cmx parser/scoping.cmx parser/menhir_parser.cmx parser/parser.cmx -o parser/parser.cmxa - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - [OPT] dkcheck.native - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I commands -I kernel -I parser -o commands/dkcheck.cmo commands/dkcheck.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I commands -I kernel -I parser -o commands/dkcheck.cmx commands/dkcheck.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -linkpkg -package unix -I kernel -I parser -I commands kernel/basic.cmx kernel/term.cmx kernel/subst.cmx kernel/rule.cmx kernel/confluence.cmx kernel/dtree.cmx kernel/matching.cmx kernel/version.cmx kernel/signature.cmx kernel/reduction.cmx kernel/entry.cmx kernel/typing.cmx kernel/env.cmx kernel/errors.cmx kernel/pp.cmx parser/internals.cmx parser/tokens.cmx parser/lexer.cmx parser/preterm.cmx parser/scoping.cmx parser/menhir_parser.cmx parser/parser.cmx commands/dkcheck.cmx -o commands/dkcheck.native - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - [OPT] dkdep.native - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I commands -I kernel -I parser -o commands/dkdep.cmo commands/dkdep.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I commands -I kernel -I parser -o commands/dkdep.cmx commands/dkdep.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -linkpkg -package unix -I kernel -I parser -I commands kernel/basic.cmx kernel/term.cmx kernel/subst.cmx kernel/rule.cmx kernel/confluence.cmx kernel/dtree.cmx kernel/matching.cmx kernel/version.cmx kernel/signature.cmx kernel/reduction.cmx kernel/entry.cmx kernel/typing.cmx kernel/env.cmx parser/internals.cmx parser/tokens.cmx parser/lexer.cmx parser/preterm.cmx parser/scoping.cmx parser/menhir_parser.cmx parser/parser.cmx commands/dkdep.cmx -o commands/dkdep.native - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - [OPT] dktop.native - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlc -c -package unix -I commands -I kernel -I parser -o commands/dktop.cmo commands/dktop.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -c -package unix -I commands -I kernel -I parser -o commands/dktop.cmx commands/dktop.ml - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - + ocamlfind ocamlopt -linkpkg -package unix -I kernel -I parser -I commands kernel/basic.cmx kernel/term.cmx kernel/subst.cmx kernel/rule.cmx kernel/confluence.cmx kernel/dtree.cmx kernel/matching.cmx kernel/version.cmx kernel/signature.cmx kernel/reduction.cmx kernel/entry.cmx kernel/typing.cmx kernel/env.cmx kernel/errors.cmx kernel/pp.cmx parser/internals.cmx parser/tokens.cmx parser/lexer.cmx parser/preterm.cmx parser/scoping.cmx parser/menhir_parser.cmx parser/parser.cmx commands/dktop.cmx -o commands/dktop.native - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - [GEN] META -> compiled dedukti.2.6.0 [dedukti: make install] + /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/dedukti.2.6.0) - ocamlfind: [WARNING] No such file: /home/opam/.opam/default/lib/dedukti/META - [OPT] dkcheck.native - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - [OPT] dkdep.native - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - [OPT] dktop.native - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf - ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf - Installed /home/opam/.opam/default/lib/dedukti/parser.a - Installed /home/opam/.opam/default/lib/dedukti/kernel.a - Installed /home/opam/.opam/default/lib/dedukti/parser.cmxa - Installed /home/opam/.opam/default/lib/dedukti/kernel.cmxa - Installed /home/opam/.opam/default/lib/dedukti/parser.cma - Installed /home/opam/.opam/default/lib/dedukti/kernel.cma - Installed /home/opam/.opam/default/lib/dedukti/tokens.o - Installed /home/opam/.opam/default/lib/dedukti/scoping.o - Installed /home/opam/.opam/default/lib/dedukti/preterm.o - Installed /home/opam/.opam/default/lib/dedukti/parser.o - Installed /home/opam/.opam/default/lib/dedukti/menhir_parser.o - Installed /home/opam/.opam/default/lib/dedukti/lexer.o - Installed /home/opam/.opam/default/lib/dedukti/internals.o - Installed /home/opam/.opam/default/lib/dedukti/tokens.cmx - Installed /home/opam/.opam/default/lib/dedukti/scoping.cmx - Installed /home/opam/.opam/default/lib/dedukti/preterm.cmx - Installed /home/opam/.opam/default/lib/dedukti/parser.cmx - Installed /home/opam/.opam/default/lib/dedukti/menhir_parser.cmx - Installed /home/opam/.opam/default/lib/dedukti/lexer.cmx - Installed /home/opam/.opam/default/lib/dedukti/internals.cmx - Installed /home/opam/.opam/default/lib/dedukti/parser.cmi - Installed /home/opam/.opam/default/lib/dedukti/parser.mli - Installed /home/opam/.opam/default/lib/dedukti/version.o - Installed /home/opam/.opam/default/lib/dedukti/typing.o - Installed /home/opam/.opam/default/lib/dedukti/term.o - Installed /home/opam/.opam/default/lib/dedukti/subst.o - Installed /home/opam/.opam/default/lib/dedukti/signature.o - Installed /home/opam/.opam/default/lib/dedukti/rule.o - Installed /home/opam/.opam/default/lib/dedukti/reduction.o - Installed /home/opam/.opam/default/lib/dedukti/pp.o - Installed /home/opam/.opam/default/lib/dedukti/matching.o - Installed /home/opam/.opam/default/lib/dedukti/errors.o - Installed /home/opam/.opam/default/lib/dedukti/env.o - Installed /home/opam/.opam/default/lib/dedukti/entry.o - Installed /home/opam/.opam/default/lib/dedukti/dtree.o - Installed /home/opam/.opam/default/lib/dedukti/confluence.o - Installed /home/opam/.opam/default/lib/dedukti/basic.o - Installed /home/opam/.opam/default/lib/dedukti/version.cmx - Installed /home/opam/.opam/default/lib/dedukti/typing.cmx - Installed /home/opam/.opam/default/lib/dedukti/term.cmx - Installed /home/opam/.opam/default/lib/dedukti/subst.cmx - Installed /home/opam/.opam/default/lib/dedukti/signature.cmx - Installed /home/opam/.opam/default/lib/dedukti/rule.cmx - Installed /home/opam/.opam/default/lib/dedukti/reduction.cmx - Installed /home/opam/.opam/default/lib/dedukti/pp.cmx - Installed /home/opam/.opam/default/lib/dedukti/matching.cmx - Installed /home/opam/.opam/default/lib/dedukti/errors.cmx - Installed /home/opam/.opam/default/lib/dedukti/env.cmx - Installed /home/opam/.opam/default/lib/dedukti/entry.cmx - Installed /home/opam/.opam/default/lib/dedukti/dtree.cmx - Installed /home/opam/.opam/default/lib/dedukti/confluence.cmx - Installed /home/opam/.opam/default/lib/dedukti/basic.cmx - Installed /home/opam/.opam/default/lib/dedukti/version.cmi - Installed /home/opam/.opam/default/lib/dedukti/typing.cmi - Installed /home/opam/.opam/default/lib/dedukti/term.cmi - Installed /home/opam/.opam/default/lib/dedukti/subst.cmi - Installed /home/opam/.opam/default/lib/dedukti/signature.cmi - Installed /home/opam/.opam/default/lib/dedukti/rule.cmi - Installed /home/opam/.opam/default/lib/dedukti/reduction.cmi - Installed /home/opam/.opam/default/lib/dedukti/pp.cmi - Installed /home/opam/.opam/default/lib/dedukti/matching.cmi - Installed /home/opam/.opam/default/lib/dedukti/errors.cmi - Installed /home/opam/.opam/default/lib/dedukti/env.cmi - Installed /home/opam/.opam/default/lib/dedukti/entry.cmi - Installed /home/opam/.opam/default/lib/dedukti/dtree.cmi - Installed /home/opam/.opam/default/lib/dedukti/confluence.cmi - Installed /home/opam/.opam/default/lib/dedukti/basic.cmi - Installed /home/opam/.opam/default/lib/dedukti/version.mli - Installed /home/opam/.opam/default/lib/dedukti/typing.mli - Installed /home/opam/.opam/default/lib/dedukti/term.mli - Installed /home/opam/.opam/default/lib/dedukti/subst.mli - Installed /home/opam/.opam/default/lib/dedukti/signature.mli - Installed /home/opam/.opam/default/lib/dedukti/rule.mli - Installed /home/opam/.opam/default/lib/dedukti/reduction.mli - Installed /home/opam/.opam/default/lib/dedukti/pp.mli - Installed /home/opam/.opam/default/lib/dedukti/matching.mli - Installed /home/opam/.opam/default/lib/dedukti/errors.mli - Installed /home/opam/.opam/default/lib/dedukti/env.mli - Installed /home/opam/.opam/default/lib/dedukti/entry.mli - Installed /home/opam/.opam/default/lib/dedukti/dtree.mli - Installed /home/opam/.opam/default/lib/dedukti/confluence.mli - Installed /home/opam/.opam/default/lib/dedukti/basic.mli - Installed /home/opam/.opam/default/lib/dedukti/META - install -m 755 -d /home/opam/.opam/default/bin/ - install -m 755 -p dkcheck.native /home/opam/.opam/default/bin//dkcheck - install -m 755 -p dkdep.native /home/opam/.opam/default/bin//dkdep - install -m 755 -p dktop.native /home/opam/.opam/default/bin//dktop -> installed dedukti.2.6.0 === STDERR === 2026-06-20 18:32.51: OK: build dedukti.2.6.0 (runc: 13.6s, disk: 38KB) 2026-06-20 18:32.51: Job succeeded