Build:
- 0
2026-06-23 19:26.18: New job: build caisar.0.2 (10fb4bc4b8d2) 2026-06-23 19:26.18: Waiting for resource in pool day11-builds 2026-06-23 20:33.07: Got resource from pool day11-builds 2026-06-23 20:33.07: [profile full] build caisar.0.2 2026-06-23 20:33.07: build caisar.0.2 (10fb4bc4b8d2) === DEPENDENCIES (94 transitive) === astring.0.8.5 156e7cc742dd base.v0.16.5 6465b53ca5ca base-bytes.base 70d0daec7841 base-threads.base b7164ff76afe base-unix.base 839dc585f12d base64.3.5.2 7e79ef192159 bos.0.3.0 d2a61915b370 caisar-ir.0.2 5bb353360483 caisar-nnet.0.2 e487c3c8e380 caisar-onnx.0.2 0585c4957e74 caisar-ovo.0.2 8ea4d191299d caisar-xgboost.0.2 f8aedeb9f835 cmdliner.2.1.1 bfb0712fced3 conf-autoconf.0.2 b3cd190cf0b5 conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 4b60827fc174 conf-protoc.4.4.0 b587906b2624 conf-which.1 9799649fc020 cppo.1.8.0 ea583d2d3bbb csexp.1.5.2 ec63db2dab31 csv.2.4 ca016b3674ce ctypes.0.24.0 5228215932fd dune.3.23.1 5402470d931c dune-build-info.3.23.1 13123e0fa386 dune-configurator.3.23.1 58f4a3f92083 dune-private-libs.3.23.1 c16cf28d7d13 dune-site.3.23.1 cbc187aaca46 dyn.3.23.1 e5561c8a8690 easy-format.1.3.4 50a1da39581c fmt.0.11.0 995e226eae61 fpath.0.7.3 d991925a5b6c fs-io.3.23.1 f4ff16bec1f6 gen.1.1 a359aeb6b57a integers.0.8.0 705d881ec2bb jane-street-headers.v0.16.0 6d12e33fbd53 jst-config.v0.16.0 66b69fa01a48 logs.0.10.0 05ef1127faeb menhir.20260209 949a55ecfabe menhirCST.20260209 2f7f161ea867 menhirGLR.20260209 88b9413f2126 menhirLib.20260209 33c89da356e0 menhirSdk.20260209 3e7d50160069 num.1.6 480227ca99db ocaml.4.14.4 cb826ea44eb2 ocaml-base-compiler.4.14.4 d2f775f983d7 ocaml-compiler-libs.v0.12.4 d1dd1437b449 ocaml-config.2 669e0fcf9e4d ocaml-protoc-plugin.6.2.0 e24ca8ca5b12 ocamlbuild.0.16.1 8f6c52e6fce8 ocamlfind.1.9.8 6025f4a8e98e ocamlgraph.2.2.0 ffe2e581e49b ocplib-endian.1.2 4dbd3fe91c51 omd.2.0.0~alpha4 e477db284b3f ordering.3.23.1 2cd0c0f186b7 piqi.0.7.8 f1eb8cd6fd85 piqilib.0.6.16 ec697c147aec pp.2.0.0 e9675c1d094b ppx_assert.v0.16.0 dddd2839eb92 ppx_base.v0.16.0 99b1a4967ecc ppx_cold.v0.16.0 82dbe5628ebd ppx_compare.v0.16.0 55b860bdd54b ppx_derivers.1.2.1 441538dbecd1 ppx_deriving.6.0.3 c45af81d8ccb ppx_deriving_yojson.3.9.1 cd005613ba07 ppx_enumerate.v0.16.0 d37d473f8835 ppx_expect.v0.16.2 3c7b85f5a54d ppx_globalize.v0.16.0 9215b4cf7854 ppx_hash.v0.16.0 014c20c1f768 ppx_here.v0.16.0 dea10c3400a3 ppx_inline_test.v0.16.1 b0ec5e3415b8 ppx_optcomp.v0.16.0 e48b1bc997c8 ppx_sexp_conv.v0.16.0 c4b8211970d7 ppxlib.0.35.0 58eae20f5b7b ptime.1.2.0 cedc85093139 re.1.11.0 40c87042a666 rresult.0.7.0 66e2b7baf32c sedlex.2.6 1bf59fd3f108 seq.base 063828a3d698 sexplib0.v0.16.0 3e198ce31e44 stdio.v0.16.0 f74dff08e2c3 stdlib-shims.0.3.0 e2dd0beb9112 stdune.3.23.1 0684573a47aa time_now.v0.16.0 a4035d54472f top-closure.3.23.1 d4de8fb0f42a topkg.1.1.1 ab549298f3fc uchar.0.0.2 0cb79118950a uucp.17.0.0 8d6fd9a20f48 uunf.17.0.0 fab4b5313b02 uutf.1.0.4 d706036eef1a why3.1.6.0 03d25ca9b033 xmlm.1.4.0 4be3f3d46020 yaml.3.2.0 b672642085ce yojson.3.0.0 7c8ad8b6539f zarith.1.14 da8b932acb94 === 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__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__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__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.0.2, 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.0.2: depends on autoconf - conf-gmp.5: depends on libgmp-dev - conf-protoc.4.4.0: depends on libprotobuf-dev, protobuf-compiler === STDERR === 2026-06-23 20:33.18: OK: build caisar.0.2 (runc: 9.6s, disk: 50KB) 2026-06-23 20:33.18: Job succeeded