2026-06-24 13:54.51: New job: build psmt2-frontend.0.1 (daf23f0caa1e)
2026-06-24 13:54.51: Waiting for resource in pool day11-builds
2026-06-24 14:46.10: Got resource from pool day11-builds
2026-06-24 14:46.10: [profile full] build psmt2-frontend.0.1
2026-06-24 14:46.10: build psmt2-frontend.0.1 (daf23f0caa1e)
=== DEPENDENCIES (12 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  compiler-cloning.enabled                           439a1fc77aa6
  conf-autoconf.0.2                                  676e4452dc37
  dune.3.23.1                                        a59dd9b14fe3
  menhir.20211012                                    591d79dca307
  menhirLib.20211012                                 79c7e2c078ab
  menhirSdk.20211012                                 3544fb6e9c72
  ocaml.5.5.0                                        383268832c4b
  ocaml-base-compiler.5.5.0                          522c248944c8
  ocaml-compiler.5.5.0                               eb1a8babf54c
  ocamlfind.1.9.8                                    b506a15fcd6c
=== STDOUT ===
Processing: [default: loading data]
[psmt2-frontend.0.1: dl]
[psmt2-frontend.0.1: extract]
-> retrieved psmt2-frontend.0.1  (https://opam.ocaml.org/cache)
[psmt2-frontend: autoconf]
+ /usr/bin/autoconf  (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.1)
- 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.1/./configure "-prefix" "/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.1)
- 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.1)
- 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_printer.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_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_printer.cmo src/smtlib_parser.cmo src/smtlib_lexer.cmo src/smtlib_typed_env.cmo src/smtlib_typed_logic.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_printer.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_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_printer.cmx src/smtlib_parser.cmx src/smtlib_lexer.cmx src/smtlib_typed_env.cmx src/smtlib_typed_logic.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.1
[psmt2-frontend: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/psmt2-frontend.0.1)
- 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.1

=== STDERR ===

2026-06-24 14:49.26: OK: build psmt2-frontend.0.1 (runc: 19.1s, disk: 13KB)
2026-06-24 14:49.26: Job succeeded