2026-06-20 17:03.59: New job: build psmt2-frontend.0.2 (f8d8b3eaea4a)
2026-06-20 17:03.59: Waiting for resource in pool day11-builds
2026-06-20 18:40.00: Got resource from pool day11-builds
2026-06-20 18:40.00: [profile full] build psmt2-frontend.0.2
2026-06-20 18:40.00: build psmt2-frontend.0.2 (f8d8b3eaea4a)
=== DEPENDENCIES (12 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  compiler-cloning.enabled                           0d2606125f88
  conf-autoconf.0.2                                  b3cd190cf0b5
  dune.3.23.1                                        dbfeecb5ca10
  menhir.20211012                                    3ae6245849e4
  menhirLib.20211012                                 5709f66bbd24
  menhirSdk.20211012                                 27163f478ff1
  ocaml.5.5.0                                        1b4132bddf48
  ocaml-base-compiler.5.5.0                          1901c3a760c1
  ocaml-compiler.5.5.0                               5f593a0b4a8c
  ocamlfind.1.9.8                                    5b46f9d92bbd
=== 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-20 18:40.30: OK: build psmt2-frontend.0.2 (runc: 19.7s, disk: 13KB)
2026-06-20 18:40.30: Job succeeded