Build:
- 0
2026-06-23 16:57.25: New job: build squirrel.0.1 (14d3a22a6931)
2026-06-23 16:57.25: Waiting for resource in pool day11-builds
2026-06-23 18:59.53: Got resource from pool day11-builds
2026-06-23 18:59.53: [profile full] build squirrel.0.1
2026-06-23 18:59.53: build squirrel.0.1 (14d3a22a6931)
=== DEPENDENCIES (40 transitive) ===
alcotest.1.9.1 5f245320dde7
astring.0.8.5 c9b7741b1ba7
base-threads.base b7164ff76afe
base-unix.base 839dc585f12d
cmdliner.2.1.1 c4607a09ecef
compiler-cloning.enabled 0d2606125f88
conf-libpcre.2 e294701a2873
conf-pkg-config.5 4b60827fc174
conf-which.1 9799649fc020
csexp.1.5.2 315ecef51574
cstruct.6.2.0 3cb05d9173db
dune.3.23.1 dbfeecb5ca10
dune-compiledb.0.6.0 c4184593309e
dune-configurator.3.23.1 8afe79196456
ezjsonm.1.3.0 4ac12cf7820c
fmt.0.11.0 1a2e11cf0823
fpath.0.7.3 5652a682081f
hex.1.5.0 7422f68126cc
jsonm.1.0.2 78191a729cbd
menhir.20260209 5f76d1d3722e
menhirCST.20260209 b9f719ef3696
menhirGLR.20260209 e70329f7f267
menhirLib.20260209 c73d74bf4444
menhirSdk.20260209 d70f00a72002
num.1.6 94f72f650e98
ocaml.5.5.0 1b4132bddf48
ocaml-base-compiler.5.5.0 1901c3a760c1
ocaml-compiler.5.5.0 5f593a0b4a8c
ocaml-syntax-shims.1.0.0 ab53fc8c6e2d
ocamlbuild.0.16.1 b485a4f69c01
ocamlfind.1.9.8 5b46f9d92bbd
ocamlgraph.2.2.0 ca0ab2b73a4f
parsexp.v0.17.0 7d275d842ed2
pcre.8.0.5 09d55b82a24b
re.1.14.0 a474ef408490
sexplib.v0.17.0 c0adfbf904aa
sexplib0.v0.17.0 313244870034
stdlib-shims.0.3.0 9047e6396dc4
topkg.1.1.1 8e3718e4cf5c
uutf.1.0.4 b530bbafc7a1
=== 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-23 19:01.22: FAILED: build squirrel.0.1
2026-06-23 19:01.22: Job failed: build failed: squirrel.0.1