Build:
- 0
2026-06-24 18:07.48: New job: build squirrel.0.1 (9f673fbae5d6)
2026-06-24 18:07.48: Waiting for resource in pool day11-builds
2026-06-24 18:48.35: Got resource from pool day11-builds
2026-06-24 18:48.35: [profile full] build squirrel.0.1
2026-06-24 18:48.35: build squirrel.0.1 (9f673fbae5d6)
=== DEPENDENCIES (40 transitive) ===
alcotest.1.9.1 7ad1b9373310
astring.0.8.5 868f52a07c05
base-threads.base c9e7bdbf5823
base-unix.base 7d1428be9ddb
cmdliner.2.1.1 814ed16c6662
compiler-cloning.enabled 439a1fc77aa6
conf-libpcre.2 262542ccb2b0
conf-pkg-config.5 d5de2c6a88f9
conf-which.1 84b48e007e35
csexp.1.5.2 977b865a51b4
cstruct.6.2.0 b59dd78de8f1
dune.3.23.1 a59dd9b14fe3
dune-compiledb.0.6.0 86ade854c0dd
dune-configurator.3.23.1 8cec6bb1116c
ezjsonm.1.3.0 f3c1c005df79
fmt.0.11.0 b05421079724
fpath.0.7.3 f291dce35bf8
hex.1.5.0 9b17db8295ec
jsonm.1.0.2 335388244053
menhir.20260209 2dfcdff6beb1
menhirCST.20260209 ca14cdeaa1bc
menhirGLR.20260209 5ba1fed6b7bb
menhirLib.20260209 93342fcbef2d
menhirSdk.20260209 28fda6618c58
num.1.6 efd5a307a10f
ocaml.5.5.0 383268832c4b
ocaml-base-compiler.5.5.0 522c248944c8
ocaml-compiler.5.5.0 eb1a8babf54c
ocaml-syntax-shims.1.0.0 57f31ba6c740
ocamlbuild.0.16.1 e57f00093c6a
ocamlfind.1.9.8 b506a15fcd6c
ocamlgraph.2.2.0 8d11b5a26417
parsexp.v0.17.0 7a592903ad6e
pcre.8.0.5 9238333d7707
re.1.14.0 5e7365192893
sexplib.v0.17.0 96575d3108de
sexplib0.v0.17.0 166f8102230b
stdlib-shims.0.3.0 e7f8a4f187fa
topkg.1.1.1 ac206dbbd2b6
uutf.1.0.4 0442b0945283
=== STDOUT ===
Processing: [default: loading data]
[squirrel.0.1: dl]
[squirrel.0.1: extract]
-> retrieved squirrel.0.1 (https://opam.ocaml.org/cache)
[squirrel: make]
+ /usr/bin/make (CWD=/home/opam/.opam/default/.opam-switch/build/squirrel.0.1)
- rm -f src/commit.ml
- sed 's/GITHASH//' < src/commit.ml.in > src/commit.ml
- Checking for menhir... /home/opam/.opam/default/bin/menhir
- Checking for fmt... /home/opam/.opam/default/lib/fmt
- Checking for ocamlgraph... /home/opam/.opam/default/lib/ocamlgraph
- Checking for alcotest... /home/opam/.opam/default/lib/alcotest
- Checking for pcre... /home/opam/.opam/default/lib/pcre
- mkdir -p _build
- touch _build/requirements
- ocamlbuild -use-ocamlfind -use-menhir -I src -pkgs fmt,fmt.tty,alcotest,ocamlgraph,pcre squirrel.byte
- + ocamlfind ocamlc -config
- 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 -I +unix unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- + ocamlfind ocamlc -config
- 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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/squirrel.ml > src/squirrel.ml.depends
- 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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/main.mli > src/main.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/main.cmi src/main.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/main.cmi src/main.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/squirrel.cmo src/squirrel.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/squirrel.cmo src/squirrel.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/main.ml > src/main.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/action.mli > src/action.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/channel.mli > src/channel.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/location.mli > src/location.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/symbols.mli > src/symbols.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/location.cmi src/location.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/location.cmi src/location.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/type.mli > src/type.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/ident.mli > src/ident.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/ident.cmi src/ident.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/ident.cmi src/ident.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/type.cmi src/type.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/type.cmi src/type.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/symbols.cmi src/symbols.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/symbols.cmi src/symbols.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/term.mli > src/term.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/vars.mli > src/vars.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/utils.mli > src/utils.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/utils.cmi src/utils.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/utils.cmi src/utils.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/vars.cmi src/vars.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/vars.cmi src/vars.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/channel.cmi src/channel.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/channel.cmi src/channel.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/term.cmi src/term.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/term.cmi src/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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/checks.ml > src/checks.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/commit.mli > src/commit.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/config.mli > src/config.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equivTactics.ml > src/equivTactics.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/action.cmi src/action.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/action.cmi src/action.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/cca.ml > src/cca.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/euf.mli > src/euf.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/constr.mli > src/constr.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/systemExpr.mli > src/systemExpr.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/system.mli > src/system.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/system.cmi src/system.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/system.cmi src/system.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/systemExpr.cmi src/systemExpr.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/systemExpr.cmi src/systemExpr.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equiv.mli > src/equiv.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tactics.mli > src/tactics.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/constr.cmi src/constr.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/constr.cmi src/constr.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equiv.cmi src/equiv.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equiv.cmi src/equiv.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tactics.cmi src/tactics.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tactics.cmi src/tactics.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/iter.ml > src/iter.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/macros.mli > src/macros.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/match.mli > src/match.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/macros.cmi src/macros.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/macros.cmi src/macros.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/match.cmi src/match.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/match.cmi src/match.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/euf.cmi src/euf.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/euf.cmi src/euf.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/iter.cmo src/iter.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/iter.cmo src/iter.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 "src/iter.ml", line 306, characters 20-32:
- 306 | if (match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/iter.ml", line 306, characters 42-54:
- 306 | if (match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/config.cmi src/config.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/config.cmi src/config.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/equivSequent.mli > src/equivSequent.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowEquivSequent.mli > src/lowEquivSequent.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/hint.mli > src/hint.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/rewrite.mli > src/rewrite.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tacticsArgs.mli > src/tacticsArgs.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/theory.mli > src/theory.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/theory.cmi src/theory.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/theory.cmi src/theory.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tacticsArgs.cmi src/tacticsArgs.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/tacticsArgs.cmi src/tacticsArgs.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/rewrite.cmi src/rewrite.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/rewrite.cmi src/rewrite.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowSequent.ml > src/lowSequent.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hint.cmi src/hint.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hint.cmi src/hint.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/hyps.mli > src/hyps.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hyps.cmi src/hyps.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hyps.cmi src/hyps.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowTraceSequent.mli > src/lowTraceSequent.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/completion.mli > src/completion.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowSequent.cmo src/lowSequent.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowSequent.cmo src/lowSequent.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/completion.cmi src/completion.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/completion.cmi src/completion.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTraceSequent.cmi src/lowTraceSequent.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTraceSequent.cmi src/lowTraceSequent.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/sequent.mli > src/sequent.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/goal.mli > src/goal.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowEquivSequent.cmi src/lowEquivSequent.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowEquivSequent.cmi src/lowEquivSequent.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/reduction.mli > src/reduction.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/goal.cmi src/goal.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/goal.cmi src/goal.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/reduction.cmi src/reduction.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/reduction.cmi src/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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/sequent.cmi src/sequent.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/sequent.cmi src/sequent.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/fresh.ml > src/fresh.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lowTactics.ml > src/lowTactics.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivSequent.cmi src/equivSequent.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivSequent.cmi src/equivSequent.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/printer.mli > src/printer.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prover.mli > src/prover.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/decl.mli > src/decl.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/process.mli > src/process.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/process.cmi src/process.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/process.cmi src/process.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/decl.cmi src/decl.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/decl.cmi src/decl.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/traceSequent.mli > src/traceSequent.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/printer.cmi src/printer.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/printer.cmi src/printer.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prover.cmi src/prover.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prover.cmi src/prover.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceSequent.cmi src/traceSequent.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceSequent.cmi src/traceSequent.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prf.ml > src/prf.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/fresh.cmo src/fresh.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/fresh.cmo src/fresh.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/traceTactics.ml > src/traceTactics.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/cca.cmo src/cca.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/cca.cmo src/cca.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTactics.cmo src/lowTactics.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lowTactics.cmo src/lowTactics.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 "src/lowTactics.ml", line 77, characters 18-26:
- 77 | (Failure (Fmt.strf "types %a and %a are not compatible"
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
-
- File "src/lowTactics.ml", line 85, characters 18-26:
- 85 | (Failure (Fmt.strf "types %a and %a are not compatible"
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
-
- File "src/lowTactics.ml", line 1443, characters 31-39:
- 1443 | (Tactics.NotDepends (Fmt.strf "%a" Term.pp a1,
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
-
- File "src/lowTactics.ml", line 1444, characters 31-39:
- 1444 | Fmt.strf "%a" Term.pp a2))
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prf.cmo src/prf.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prf.cmo src/prf.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 "src/prf.ml", line 234, characters 27-39:
- 234 | let param = prf_param (Term.pi_term proj hash) in
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/prf.ml", line 243, characters 25-37:
- 243 | let e_without_hash = Term.pi_term proj e_without_hash in
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceTactics.cmo src/traceTactics.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/traceTactics.cmo src/traceTactics.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 "src/traceTactics.ml", line 1496, characters 4-35:
- 1496 | Cca.check_encryption_randomness
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label cntxt was omitted in the application of
- this function.
-
- File "src/traceTactics.ml", line 1794, characters 35-47:
- 1794 | match List.find_opt (fun e -> (Term.pi_term src e) = t) biframe with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/traceTactics.ml", line 1795, characters 22-34:
- 1795 | | Some e -> Some (Term.pi_term dst e)
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/highTactics.ml > src/highTactics.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivTactics.cmo src/equivTactics.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/equivTactics.cmo src/equivTactics.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 "src/equivTactics.ml", line 714, characters 10-22:
- 714 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/equivTactics.ml", line 714, characters 32-44:
- 714 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/equivTactics.ml", line 2024, characters 8-20:
- 2024 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/equivTactics.ml", line 2024, characters 30-42:
- 2024 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/equivTactics.ml", line 2030, characters 8-20:
- 2030 | match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/equivTactics.ml", line 2030, characters 38-50:
- 2030 | match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/equivTactics.ml", line 2091, characters 14-26:
- 2091 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/equivTactics.ml", line 2091, characters 36-48:
- 2091 | match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/equivTactics.ml", line 2101, characters 14-26:
- 2101 | match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/equivTactics.ml", line 2101, characters 44-56:
- 2101 | match Term.pi_term PLeft mess_name, Term.pi_term PRight mess_name with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/equivTactics.ml", line 2103, characters 22-34:
- 2103 | begin match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
-
- File "src/equivTactics.ml", line 2103, characters 44-56:
- 2103 | begin match Term.pi_term PLeft t, Term.pi_term PRight t with
- ^^^^^^^^^^^^
- Warning 6 [labels-omitted]: label projection was omitted in the application
- of this function.
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/html.mli > src/html.mli.depends
- + menhir --raw-depend --ocamldep 'ocamlfind ocamldep -modules' src/parser.mly > src/parser.mly.depends
- + menhir --ocamlc 'ocamlfind ocamlc -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src' --explain --infer src/parser.mly
- + menhir --ocamlc 'ocamlfind ocamlc -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src' --explain --infer src/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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/parser.mli > src/parser.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/parserbuf.ml > src/parserbuf.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/checks.cmo src/checks.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/checks.cmo src/checks.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
- + /home/opam/.opam/default/bin/ocamllex.opt -q src/lexer.mll
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/lexer.ml > src/lexer.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parser.cmi src/parser.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parser.cmi src/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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lexer.cmo src/lexer.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/lexer.cmo src/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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/commit.cmi src/commit.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/commit.cmi src/commit.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/highTactics.cmo src/highTactics.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/highTactics.cmo src/highTactics.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/html.cmi src/html.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/html.cmi src/html.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parserbuf.cmo src/parserbuf.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parserbuf.cmo src/parserbuf.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 "src/parserbuf.ml", line 78, characters 18-26:
- 78 | let msg = Fmt.strf "%a" pp_error () in
- ^^^^^^^^
- Alert deprecated: Fmt.strf
- use Fmt.str instead.
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/main.cmo src/main.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/main.cmo src/main.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/action.ml > src/action.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/commit.ml > src/commit.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/config.ml > src/config.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/goal.ml > src/goal.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/hint.ml > src/hint.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/html.ml > src/html.ml.depends
- + /home/opam/.opam/default/bin/ocamllex.opt -q src/htmlLexer.mll
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/htmlLexer.ml > src/htmlLexer.ml.depends
- + menhir --raw-depend --ocamldep 'ocamlfind ocamldep -modules' src/htmlParser.mly > src/htmlParser.mly.depends
- + menhir --ocamlc 'ocamlfind ocamlc -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src' --explain --infer src/htmlParser.mly
- + menhir --ocamlc 'ocamlfind ocamlc -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src' --explain --infer src/htmlParser.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/htmlParser.mli > src/htmlParser.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/htmlParser.cmi src/htmlParser.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/htmlParser.cmi src/htmlParser.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/htmlLexer.cmo src/htmlLexer.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/htmlLexer.cmo src/htmlLexer.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/location.ml > src/location.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/parser.ml > src/parser.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/printer.ml > src/printer.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/process.ml > src/process.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prover.ml > src/prover.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/prof.mli > src/prof.mli.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/systemModifiers.ml > src/systemModifiers.ml.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prof.cmi src/prof.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/prof.cmi src/prof.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/systemModifiers.cmo src/systemModifiers.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/systemModifiers.cmo src/systemModifiers.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 ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/symbols.ml > src/symbols.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tactics.ml > src/tactics.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/tacticsArgs.ml > src/tacticsArgs.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/theory.ml > src/theory.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/utils.ml > src/utils.ml.depends
- + ocamlfind ocamldep -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -modules src/puf.mli > src/puf.mli.depends
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/puf.cmi src/puf.mli
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/puf.cmi src/puf.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/action.cmo src/action.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/action.cmo src/action.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/commit.cmo src/commit.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/commit.cmo src/commit.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/config.cmo src/config.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/config.cmo src/config.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/goal.cmo src/goal.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/goal.cmo src/goal.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hint.cmo src/hint.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/hint.cmo src/hint.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/html.cmo src/html.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/html.cmo src/html.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/location.cmo src/location.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/location.cmo src/location.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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parser.cmo src/parser.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/parser.cmo src/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 -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/printer.cmo src/printer.ml
- + ocamlfind ocamlc -c -g -bin-annot -package pcre -package ocamlgraph -package alcotest -package fmt.tty -package fmt -I src -o src/printer.cmo src/printer.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 "src/printer.ml", lines 186-192, characters 2-41:
- 186 | ..{ out_string = base_funs.out_string ;
- 187 | out_flush = (fun () ->
- 188 | base_funs.out_string "\x1B[0m" 0 4;
- 189 | base_funs.out_flush ()) ;
- 190 | out_newline = base_funs.out_newline ;
- 191 | out_spaces = base_funs.out_spaces ;
- 192 | out_indent = base_funs.out_indent ; }
- Error: Some record fields are undefined: out_width
- Command exited with code 2.
- + ocamlfind ocamlopt -I +unix unix.cmxa -I /home/opam/.opam/default/lib/ocamlbuild /home/opam/.opam/default/lib/ocamlbuild/ocamlbuildlib.cmxa -linkpkg myocamlbuild.ml /home/opam/.opam/default/lib/ocamlbuild/ocamlbuild.cmx -o myocamlbuild
- ocamlfind: [WARNING] Cannot read directory ../stublibs which is mentioned in ld.conf
- ocamlfind: [WARNING] Cannot read directory ./stublibs which is mentioned in ld.conf
- make: *** [Makefile:68: squirrel.byte] Error 10
[ERROR] The compilation of squirrel.0.1 failed at "make".
build failed...
=== STDERR ===
2026-06-24 18:49.33: FAILED: build squirrel.0.1
2026-06-24 18:49.33: Job failed: build failed: squirrel.0.1