Build:
- 0
2026-09-04 01:36.39: New job: build caisar.0.2 (7fb05fabbe1a) 2026-09-04 01:36.39: Waiting for resource in pool day11-builds 2026-09-04 01:55.15: Got resource from pool day11-builds 2026-09-04 01:55.15: [profile full] build caisar.0.2 2026-09-04 01:55.15: build caisar.0.2 (7fb05fabbe1a) === DEPENDENCIES (94 transitive) === astring.0.8.5 632949034a64 base.v0.16.5 9b8d977c1f60 base-bytes.base 68d84c459288 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e base64.3.5.2 9934c8f05d7a bos.0.3.0 2990ab513099 caisar-ir.0.2 f147b844dc77 caisar-nnet.0.2 6b743eb3c79f caisar-onnx.0.2 e393885c4706 caisar-ovo.0.2 7519c514641c caisar-xgboost.0.2 901f1b97ca8a cmdliner.2.1.1 73e54961174b conf-autoconf.1 788c5c60b51c conf-gmp.5 eac5259e412f conf-pkg-config.5 74f50f3cfe72 conf-protoc.4.4.0 8493e5f896f1 conf-which.1 4293d66f3d9e cppo.1.8.0 8b34f9718c9c csexp.1.5.2 c758d7657e5b csv.2.4 9bc534e7018f ctypes.0.24.0 73e0fbf79f27 dune.3.24.2 bf83cdf0a904 dune-build-info.3.24.2 15da97fc390c dune-configurator.3.24.2 23afe5cb4d3b dune-private-libs.3.24.2 6066168c054e dune-site.3.24.2 428a5f28a632 dyn.3.24.2 04b792680349 easy-format.1.3.4 3a6d5023d2b6 fmt.0.11.0 74cd2cdc67a7 fpath.0.7.3 94c0602f02cc fs-io.3.24.2 c2edf5989d7f gen.1.1 d4273db2c7bb integers.0.8.0 e09615b6ddf8 jane-street-headers.v0.16.0 a1db51862944 jst-config.v0.16.0 4e94ecdefa91 logs.0.10.0 36ea877f6547 menhir.20260209 b5ea77665ed0 menhirCST.20260209 fdf00709dc1b menhirGLR.20260209 e8065dac32e6 menhirLib.20260209 588b502bc771 menhirSdk.20260209 8571405b07e4 num.1.6 fe036226102b ocaml.4.14.4 c7d6265b51fe ocaml-base-compiler.4.14.4 7a409b6ffbef ocaml-compiler-libs.v0.12.4 0a923ba812db ocaml-config.2 85edea6ac168 ocaml-protoc-plugin.6.2.0 42b9fad0d666 ocamlbuild.0.16.1 5ae5ab4d19bf ocamlfind.1.9.8 3cae95bed0a0 ocamlgraph.2.2.0 ea246a21ca19 ocplib-endian.1.2 a626410be6a1 omd.2.0.0~alpha4 e7f31311d5e4 ordering.3.24.2 6591ac932c4c piqi.0.7.8 7fcf8be2efda piqilib.0.6.16 a7a7f445d7ee pp.2.0.0 7aa595bb110f ppx_assert.v0.16.0 ce5564bffd71 ppx_base.v0.16.0 9b76f585141d ppx_cold.v0.16.0 8f0d342dc059 ppx_compare.v0.16.0 10f17424473f ppx_derivers.1.2.1 e8685a77fc9e ppx_deriving.6.0.3 ea028554e7e8 ppx_deriving_yojson.3.9.1 3b8b57fb96dc ppx_enumerate.v0.16.0 6a634000a580 ppx_expect.v0.16.2 6a9304a3a100 ppx_globalize.v0.16.0 1461705b8ffa ppx_hash.v0.16.0 272280437fc5 ppx_here.v0.16.0 cc4a7d8893b3 ppx_inline_test.v0.16.1 6a6226af324e ppx_optcomp.v0.16.0 4b8060e05ea5 ppx_sexp_conv.v0.16.0 c4d7e3e92e0a ppxlib.0.35.0 46c1dac34d3c ptime.1.2.0 b1ba40b0b818 re.1.11.0 1114eb8aba55 rresult.0.7.0 e91945a392c9 sedlex.2.6 76273c38b069 seq.base 1957e27deb9b sexplib0.v0.16.0 a69f43de36f7 stdio.v0.16.0 3befbb9c732f stdlib-shims.0.3.0 484c72a128b6 stdune.3.24.2 1bf6c52ef391 time_now.v0.16.0 8dd2be09a440 top-closure.3.24.2 c2504bb6d730 topkg.1.1.1 f1122af0988e uchar.0.0.2 e60f907a56af uucp.17.0.0 0c8afbda0bd6 uunf.17.0.0 416b6d64d4ee uutf.1.0.4 aeedbee29bc3 why3.1.6.0 519c4feb138f xmlm.1.4.0 664cac21d268 yaml.3.2.0 ca4af49a7215 yojson.3.0.0 74cfe9abd4f0 zarith.1.14 fc3f7a60e6b3 === STDOUT === Processing: [default: loading data] [caisar.0.2: extract] -> retrieved caisar.0.2 (cached) [caisar: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "caisar" "-j" "39" "--promote-install-files=false" "@install" (CWD=/home/opam/.opam/default/.opam-switch/build/caisar.0.2) - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.main.eobjs/byte -I src/.main.eobjs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/base64 -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/caisar-ir -I /home/opam/.opam/default/lib/caisar-nnet -I /home/opam/.opam/default/lib/caisar-onnx -I /home/opam/.opam/default/lib/caisar-ovo -I /home/opam/.opam/default/lib/caisar-xgboost -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/csv -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-protoc-plugin -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-endian -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_expect/collector -I /home/opam/.opam/default/lib/ppx_expect/common -I /home/opam/.opam/default/lib/ppx_expect/config -I /home/opam/.opam/default/lib/ppx_expect/config_types -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_here/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/ptime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdio -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.main.eobjs/native/dune__exe__Autodetect.cmx -c -impl src/autodetect.pp.ml) - File "src/autodetect.ml", line 28, characters 16-30: - 28 | | [] -> raise Caml.Not_found - ^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - File "src/autodetect.ml", line 30, characters 15-35: - 30 | let file = Caml.Filename.concat dir filename in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - File "src/autodetect.ml", line 31, characters 7-27: - 31 | if Caml.Sys.file_exists file then file else lookup_file dirs filename - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - File "src/autodetect.ml", line 52, characters 41-59: - 52 | let config = Whyconf.init_config (Some Caml.Filename.null) in - ^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.main.eobjs/byte -I src/.main.eobjs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/base64 -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/caisar-ir -I /home/opam/.opam/default/lib/caisar-nnet -I /home/opam/.opam/default/lib/caisar-onnx -I /home/opam/.opam/default/lib/caisar-ovo -I /home/opam/.opam/default/lib/caisar-xgboost -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/csv -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-protoc-plugin -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-endian -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_expect/collector -I /home/opam/.opam/default/lib/ppx_expect/common -I /home/opam/.opam/default/lib/ppx_expect/config -I /home/opam/.opam/default/lib/ppx_expect/config_types -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_here/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/ptime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdio -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.main.eobjs/native/dune__exe__Native_nn_prover.cmx -c -impl src/transformations/native_nn_prover.pp.ml) - File "src/transformations/native_nn_prover.ml", line 106, characters 17-32: - 106 | let ls = Caml.List.assoc index output_vars in - ^^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.main.eobjs/byte -I src/.main.eobjs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/base64 -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/caisar-ir -I /home/opam/.opam/default/lib/caisar-nnet -I /home/opam/.opam/default/lib/caisar-onnx -I /home/opam/.opam/default/lib/caisar-ovo -I /home/opam/.opam/default/lib/caisar-xgboost -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/csv -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-protoc-plugin -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-endian -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_expect/collector -I /home/opam/.opam/default/lib/ppx_expect/common -I /home/opam/.opam/default/lib/ppx_expect/config -I /home/opam/.opam/default/lib/ppx_expect/config_types -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_here/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/ptime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdio -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.main.eobjs/native/dune__exe__Nn2smt.cmx -c -impl src/transformations/nn2smt.pp.ml) - File "src/transformations/nn2smt.ml", line 62, characters 44-58: - 62 | try Re__Core.Group.get g 3 with Caml.Not_found -> "" )) - ^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -I src/.main.eobjs/byte -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/base64 -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/caisar-ir -I /home/opam/.opam/default/lib/caisar-nnet -I /home/opam/.opam/default/lib/caisar-onnx -I /home/opam/.opam/default/lib/caisar-ovo -I /home/opam/.opam/default/lib/caisar-xgboost -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/csv -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-protoc-plugin -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-endian -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_expect/collector -I /home/opam/.opam/default/lib/ppx_expect/common -I /home/opam/.opam/default/lib/ppx_expect/config -I /home/opam/.opam/default/lib/ppx_expect/config_types -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_here/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/ptime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdio -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -no-alias-deps -open Dune__exe -o src/.main.eobjs/byte/dune__exe__Main.cmo -c -impl src/main.pp.ml) - File "src/main.ml", line 427, characters 32-41: - 427 | |> Cmd.eval ~catch:false |> Caml.exit - ^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.main.eobjs/byte -I src/.main.eobjs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/base64 -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/caisar-ir -I /home/opam/.opam/default/lib/caisar-nnet -I /home/opam/.opam/default/lib/caisar-onnx -I /home/opam/.opam/default/lib/caisar-ovo -I /home/opam/.opam/default/lib/caisar-xgboost -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/csv -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-protoc-plugin -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-endian -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_expect/collector -I /home/opam/.opam/default/lib/ppx_expect/common -I /home/opam/.opam/default/lib/ppx_expect/config -I /home/opam/.opam/default/lib/ppx_expect/config_types -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_here/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/ptime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdio -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.main.eobjs/native/dune__exe__Aimos.cmx -c -impl src/aimos.pp.ml) - File "src/aimos.ml", line 30, characters 20-43: - 30 | let config_file = Caml.Filename.temp_file "aimos-" ".yml" in - ^^^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.main.eobjs/byte -I src/.main.eobjs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/base64 -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/caisar-ir -I /home/opam/.opam/default/lib/caisar-nnet -I /home/opam/.opam/default/lib/caisar-onnx -I /home/opam/.opam/default/lib/caisar-ovo -I /home/opam/.opam/default/lib/caisar-xgboost -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/csv -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-protoc-plugin -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-endian -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_expect/collector -I /home/opam/.opam/default/lib/ppx_expect/common -I /home/opam/.opam/default/lib/ppx_expect/config -I /home/opam/.opam/default/lib/ppx_expect/config_types -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_here/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/ptime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdio -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.main.eobjs/native/dune__exe__Json.cmx -c -impl src/json.pp.ml) - File "src/json.ml", line 76, characters 22-35: - 76 | let extension = Caml.Filename.(extension (basename input.model)) in - ^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.main.eobjs/byte -I src/.main.eobjs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/base64 -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/caisar-ir -I /home/opam/.opam/default/lib/caisar-nnet -I /home/opam/.opam/default/lib/caisar-onnx -I /home/opam/.opam/default/lib/caisar-ovo -I /home/opam/.opam/default/lib/caisar-xgboost -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/csv -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-protoc-plugin -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-endian -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_expect/collector -I /home/opam/.opam/default/lib/ppx_expect/common -I /home/opam/.opam/default/lib/ppx_expect/config -I /home/opam/.opam/default/lib/ppx_expect/config_types -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_here/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/ptime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdio -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.main.eobjs/native/dune__exe__Interpretation.cmx -c -impl src/interpretation.pp.ml) - File "src/interpretation.ml", line 118, characters 10-24: - 118 | raise Caml.Not_found - ^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - File "src/interpretation.ml", line 253, characters 23-43: - 253 | let filename = Caml.Filename.concat cwd neural_network in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - File "src/interpretation.ml", line 284, characters 23-43: - 284 | let filename = Caml.Filename.concat cwd dataset in - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.main.eobjs/byte -I src/.main.eobjs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/base64 -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/caisar-ir -I /home/opam/.opam/default/lib/caisar-nnet -I /home/opam/.opam/default/lib/caisar-onnx -I /home/opam/.opam/default/lib/caisar-ovo -I /home/opam/.opam/default/lib/caisar-xgboost -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/csv -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-protoc-plugin -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-endian -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_expect/collector -I /home/opam/.opam/default/lib/ppx_expect/common -I /home/opam/.opam/default/lib/ppx_expect/config -I /home/opam/.opam/default/lib/ppx_expect/config_types -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_here/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/ptime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdio -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.main.eobjs/native/dune__exe__Verification.cmx -c -impl src/verification.pp.ml) - File "src/verification.ml", line 33, characters 7-27: - 33 | if Caml.Sys.file_exists jin.Json.model - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - File "src/verification.ml", line 35, characters 9-29: - 35 | if Caml.Sys.file_exists jin.property.dataset - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - File "src/verification.ml", line 49, characters 12-32: - 49 | else if Caml.Sys.file_exists s - ^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - File "src/verification.ml", line 300, characters 58-68: - 300 | Env.(read_channel ?format base_language env "stdin" Caml.stdin) ) - ^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - File "src/verification.ml", line 303, characters 5-26: - 303 | (Caml.Filename.dirname file, mlw_files) - ^^^^^^^^^^^^^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.main.eobjs/byte -I src/.main.eobjs/native -I /home/opam/.opam/default/lib/astring -I /home/opam/.opam/default/lib/base -I /home/opam/.opam/default/lib/base/base_internalhash_types -I /home/opam/.opam/default/lib/base/caml -I /home/opam/.opam/default/lib/base/shadow_stdlib -I /home/opam/.opam/default/lib/base64 -I /home/opam/.opam/default/lib/bos -I /home/opam/.opam/default/lib/bytes -I /home/opam/.opam/default/lib/caisar-ir -I /home/opam/.opam/default/lib/caisar-nnet -I /home/opam/.opam/default/lib/caisar-onnx -I /home/opam/.opam/default/lib/caisar-ovo -I /home/opam/.opam/default/lib/caisar-xgboost -I /home/opam/.opam/default/lib/cmdliner -I /home/opam/.opam/default/lib/csv -I /home/opam/.opam/default/lib/ctypes -I /home/opam/.opam/default/lib/ctypes/stubs -I /home/opam/.opam/default/lib/dune-private-libs/dune-section -I /home/opam/.opam/default/lib/dune-site -I /home/opam/.opam/default/lib/dune-site/private -I /home/opam/.opam/default/lib/fmt -I /home/opam/.opam/default/lib/fmt/cli -I /home/opam/.opam/default/lib/fmt/tty -I /home/opam/.opam/default/lib/fpath -I /home/opam/.opam/default/lib/integers -I /home/opam/.opam/default/lib/jane-street-headers -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/logs/cli -I /home/opam/.opam/default/lib/logs/fmt -I /home/opam/.opam/default/lib/menhirLib -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml-protoc-plugin -I /home/opam/.opam/default/lib/ocamlgraph -I /home/opam/.opam/default/lib/ocplib-endian -I /home/opam/.opam/default/lib/ppx_compare/runtime-lib -I /home/opam/.opam/default/lib/ppx_deriving/runtime -I /home/opam/.opam/default/lib/ppx_deriving_yojson/runtime -I /home/opam/.opam/default/lib/ppx_enumerate/runtime-lib -I /home/opam/.opam/default/lib/ppx_expect/collector -I /home/opam/.opam/default/lib/ppx_expect/common -I /home/opam/.opam/default/lib/ppx_expect/config -I /home/opam/.opam/default/lib/ppx_expect/config_types -I /home/opam/.opam/default/lib/ppx_hash/runtime-lib -I /home/opam/.opam/default/lib/ppx_here/runtime-lib -I /home/opam/.opam/default/lib/ppx_inline_test/config -I /home/opam/.opam/default/lib/ppx_inline_test/runtime-lib -I /home/opam/.opam/default/lib/ppx_sexp_conv/runtime-lib -I /home/opam/.opam/default/lib/ptime -I /home/opam/.opam/default/lib/re -I /home/opam/.opam/default/lib/seq -I /home/opam/.opam/default/lib/sexplib0 -I /home/opam/.opam/default/lib/stdio -I /home/opam/.opam/default/lib/stdlib-shims -I /home/opam/.opam/default/lib/time_now -I /home/opam/.opam/default/lib/why3 -I /home/opam/.opam/default/lib/yaml -I /home/opam/.opam/default/lib/yaml/bindings -I /home/opam/.opam/default/lib/yaml/bindings/types -I /home/opam/.opam/default/lib/yaml/c -I /home/opam/.opam/default/lib/yaml/ffi -I /home/opam/.opam/default/lib/yaml/types -I /home/opam/.opam/default/lib/yaml/unix -I /home/opam/.opam/default/lib/yojson -I /home/opam/.opam/default/lib/zarith -intf-suffix .ml -no-alias-deps -open Dune__exe -o src/.main.eobjs/native/dune__exe__Main.cmx -c -impl src/main.pp.ml) - File "src/main.ml", line 427, characters 32-41: - 427 | |> Cmd.eval ~catch:false |> Caml.exit - ^^^^^^^^^ - Alert deprecated: module Caml - [since v0.16] use Stdlib instead of Caml [caisar: dune install] + /home/opam/.opam/default/bin/dune "install" "-p" "caisar" "--create-install-files" "caisar" (CWD=/home/opam/.opam/default/.opam-switch/build/caisar.0.2) -> compiled caisar.0.2 -> installed caisar.0.2 [WARNING] Opam packages conf-autoconf.1, conf-gmp.5 and conf-protoc.4.4.0 depend on the following system packages that are no longer installed: autoconf libgmp-dev libprotobuf-dev protobuf-compiler - conf-autoconf.1: depends on autoconf - conf-gmp.5: depends on libgmp-dev - conf-protoc.4.4.0: depends on libprotobuf-dev, protobuf-compiler === STDERR === 2026-09-04 01:55.42: OK: build caisar.0.2 (runc: 14.7s, disk: 50KB) 2026-09-04 01:55.42: Job succeeded