Build:
- 0
2026-06-24 19:52.19: New job: build caisar.0.2 (56ae9391f7a7) 2026-06-24 19:52.19: Waiting for resource in pool day11-builds 2026-06-24 20:02.11: Got resource from pool day11-builds 2026-06-24 20:02.11: [profile full] build caisar.0.2 2026-06-24 20:02.11: build caisar.0.2 (56ae9391f7a7) === DEPENDENCIES (94 transitive) === astring.0.8.5 4ebc2fc0ee9d base.v0.16.5 029e992da996 base-bytes.base c40d17bc86b5 base-threads.base c9e7bdbf5823 base-unix.base 7d1428be9ddb base64.3.5.2 210584fc1188 bos.0.3.0 719269149b00 caisar-ir.0.2 d235c58d64b3 caisar-nnet.0.2 b31f522eca59 caisar-onnx.0.2 3728bc41d92a caisar-ovo.0.2 602ec1ee61ea caisar-xgboost.0.2 97672f4a7a8c cmdliner.2.1.1 7783d068c87e conf-autoconf.0.2 676e4452dc37 conf-gmp.5 be11edf77089 conf-pkg-config.5 d5de2c6a88f9 conf-protoc.4.4.0 0816c7fe28c9 conf-which.1 84b48e007e35 cppo.1.8.0 5f3f70cae95b csexp.1.5.2 610c78f17734 csv.2.4 e537c850b511 ctypes.0.24.0 452af01b1e54 dune.3.23.1 848a72441e15 dune-build-info.3.23.1 c804676ecacd dune-configurator.3.23.1 bc97ce98d8a9 dune-private-libs.3.23.1 a89eb46c4096 dune-site.3.23.1 5b411fa7d2d0 dyn.3.23.1 d06a41e37199 easy-format.1.3.4 1672fd0d9a38 fmt.0.11.0 47178a68a129 fpath.0.7.3 eb0f576d915f fs-io.3.23.1 98b9a2abb289 gen.1.1 184c22a7869b integers.0.8.0 203cb4afbaa0 jane-street-headers.v0.16.0 a0c66b9dc73a jst-config.v0.16.0 4fad7d109519 logs.0.10.0 7856c28c7093 menhir.20260209 259089f68775 menhirCST.20260209 8eaddefc25c5 menhirGLR.20260209 a9fbf43d08d4 menhirLib.20260209 84aaca532d87 menhirSdk.20260209 346bab968ef6 num.1.6 110cee7a7e2e ocaml.4.14.4 b047fb9251f4 ocaml-base-compiler.4.14.4 d3b7ccb2c6fb ocaml-compiler-libs.v0.12.4 2aecf989b0b2 ocaml-config.2 2d9c209f5590 ocaml-protoc-plugin.6.2.0 abdeade23dc8 ocamlbuild.0.16.1 7e0d6aadb209 ocamlfind.1.9.8 214dd418ac02 ocamlgraph.2.2.0 9a3a86466508 ocplib-endian.1.2 380dd426e898 omd.2.0.0~alpha4 6ed8ea470039 ordering.3.23.1 acee06651db0 piqi.0.7.8 4ea2acd63621 piqilib.0.6.16 103b75b69912 pp.2.0.0 926de0790ed1 ppx_assert.v0.16.0 76edfbece3d4 ppx_base.v0.16.0 08f1db566da1 ppx_cold.v0.16.0 4a362e64c95e ppx_compare.v0.16.0 79c7c926a481 ppx_derivers.1.2.1 9245877bc46e ppx_deriving.6.0.3 e0859f3d0fae ppx_deriving_yojson.3.9.1 ca9dd4500308 ppx_enumerate.v0.16.0 5d3e278f775a ppx_expect.v0.16.2 aae5b0b2659b ppx_globalize.v0.16.0 7e2c4d5c6e35 ppx_hash.v0.16.0 38ac6ec0b350 ppx_here.v0.16.0 ab2307888e8a ppx_inline_test.v0.16.1 72b436a7e760 ppx_optcomp.v0.16.0 123abe3d6fce ppx_sexp_conv.v0.16.0 3dc8c79ef340 ppxlib.0.35.0 bbb70c1d0b8a ptime.1.2.0 84bd2cff0ba0 re.1.11.0 750d76a5f67d rresult.0.7.0 ab060a31b0aa sedlex.2.6 1c4570eef9f0 seq.base 0160fc3002c2 sexplib0.v0.16.0 7a6e649d895c stdio.v0.16.0 100bbb7c3b43 stdlib-shims.0.3.0 de5202e23add stdune.3.23.1 37612cfafcf0 time_now.v0.16.0 6f31557eab82 top-closure.3.23.1 7d9982fac4c7 topkg.1.1.1 511e1a1958da uchar.0.0.2 15440406b802 uucp.17.0.0 8288ddf1882c uunf.17.0.0 e95e7d376d76 uutf.1.0.4 cd9cbcf448f3 why3.1.6.0 9865be77e991 xmlm.1.4.0 09c162d8fb94 yaml.3.2.0 a6407b4ee6f4 yojson.3.0.0 99e7f342c6b3 zarith.1.14 a8971d2f668c === 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/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__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/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__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__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__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-24 20:03.17: OK: build caisar.0.2 (runc: 13.1s, disk: 50KB) 2026-06-24 20:03.17: Job succeeded