2026-06-19 18:36.02: New job: build psmt2-frontend.0.2 (9d59a5ce0071)
2026-06-19 18:36.02: Waiting for resource in pool day11-builds
2026-06-19 18:41.52: Got resource from pool day11-builds
2026-06-19 18:41.52: [profile full] build psmt2-frontend.0.2
2026-06-19 18:41.52: build psmt2-frontend.0.2 (9d59a5ce0071)
=== DEPENDENCIES (11 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  conf-autoconf.0.2                                  b3cd190cf0b5
  dune.3.23.1                                        b9e31df96092
  menhir.20211012                                    e58f6931f881
  menhirLib.20211012                                 8f2a670ab369
  menhirSdk.20211012                                 9a19c8b95717
  ocaml.5.5.0                                        7bdffd2f55d9
  ocaml-base-compiler.5.5.0                          88ac983b1a28
  ocaml-compiler.5.5.0                               8d77bbea3746
  ocamlfind.1.9.8                                    1872268d1aec
=== STDOUT ===
Processing: [default: loading data]
[psmt2-frontend.0.2: dl]
[psmt2-frontend.0.2: extract]
-> retrieved psmt2-frontend.0.2  (https://opam.ocaml.org/cache)
[psmt2-frontend: autoconf]
+ /usr/bin/autoconf  (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.2)
- configure.in:161: warning: AC_OUTPUT should be used without arguments.
- configure.in:161: You should run autoupdate.
[psmt2-frontend: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.2/./configure "-prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.2)
- checking for ocamlc... ocamlc
- ocaml version is 5.5.0
- ocaml library path is /home/opam/.opam/default/lib/ocaml
- checking for ocamlfind... yes
- checking for ocamlopt... ocamlopt
- checking ocamlopt version... ok
- checking for ocamlc.opt... ocamlc.opt
- checking ocamlc.opt version... ok
- checking for ocamlopt.opt... ocamlopt.opt
- checking ocamlopt.opt version... ok
- checking for ocamldep... ocamldep
- checking platform... checking for ocamllex... ocamllex
- checking for ocamllex.opt... ocamllex.opt
- checking for menhir... menhir
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: WARNING:  'Makefile.in' seems to ignore the --datarootdir setting
[psmt2-frontend: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.2)
- menhir -v src/smtlib_parser.mly
- Note: the nonterminal symbol option (from src/smtlib_parser.mly) is renamed src_smtlib_parser_option.
- Warning: 22 end-of-stream conflicts were arbitrarily resolved.
- File "<standard.mly>", line 209, characters 16-16:
- Warning: production list(term) -> is never reduced.
- Warning: in total, 1 production is never reduced.
- ocamllex.opt src/smtlib_lexer.mll > /dev/null
- ocamldep -I src src/*.ml* > .depend
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/version.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/options.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_error.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_ty.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.mli
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_parser.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_printer.ml
- ocamlc.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -for-pack Psmt2Frontend src/smtlib_typing.ml
- ocamlc.opt   -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -pack -o src/psmt2Frontend.cmo src/version.cmo src/options.cmo src/smtlib_error.cmo src/smtlib_ty.cmo src/smtlib_syntax.cmo src/smtlib_parser.cmo src/smtlib_lexer.cmo src/smtlib_typed_env.cmo src/smtlib_typed_logic.cmo src/smtlib_printer.cmo src/smtlib_typing.cmo
- ocamlc.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -I src -o src/psmt2Frontend.cma src/psmt2Frontend.cmo
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/version.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/options.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_error.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_ty.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_syntax.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_parser.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_lexer.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_env.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typed_logic.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_printer.ml
- ocamlopt.opt -c -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -for-pack Psmt2Frontend src/smtlib_typing.ml
- ocamlopt.opt -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -pack -o src/psmt2Frontend.cmx src/version.cmx src/options.cmx src/smtlib_error.cmx src/smtlib_ty.cmx src/smtlib_syntax.cmx src/smtlib_parser.cmx src/smtlib_lexer.cmx src/smtlib_typed_env.cmx src/smtlib_typed_logic.cmx src/smtlib_printer.cmx src/smtlib_typing.cmx
- ocamlopt.opt -a -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxa src/psmt2Frontend.cmx
- ocamlopt.opt -shared -annot -absname -bin-annot -short-paths -strict-sequence -g -inline 100 -I src -o src/psmt2Frontend.cmxs src/psmt2Frontend.cmx
-> compiled  psmt2-frontend.0.2
[psmt2-frontend: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.2)
- mkdir -p /home/opam/.opam/default/lib
- OCAMLFIND_DESTDIR=/home/opam/.opam/default/lib \
-   ocamlfind install psmt2-frontend src/psmt2Frontend.* src/*.mli META
- Installed /home/opam/.opam/default/lib/psmt2-frontend/version.mli
- Installed /home/opam/.opam/default/lib/psmt2-frontend/smtlib_parser.mli
- Installed /home/opam/.opam/default/lib/psmt2-frontend/options.mli
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.o
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmxs
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmxa
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmx
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmt
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmo
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cmi
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.cma
- Installed /home/opam/.opam/default/lib/psmt2-frontend/psmt2Frontend.a
- Installed /home/opam/.opam/default/lib/psmt2-frontend/META
-> installed psmt2-frontend.0.2

=== STDERR ===

2026-06-19 18:42.22: OK: build psmt2-frontend.0.2 (runc: 21.1s, disk: 12KB)
2026-06-19 18:42.22: Job succeeded