Build:
- 1
- 0
2026-09-04 17:00.19: New job: build interval_crlibm.1.5 (f038f6cdc6e4) 2026-09-04 17:00.19: Waiting for resource in pool day11-builds 2026-09-04 18:22.40: Got resource from pool day11-builds 2026-09-04 18:22.40: [profile full] build interval_crlibm.1.5 2026-09-04 18:22.40: build interval_crlibm.1.5 (f038f6cdc6e4) === DEPENDENCIES (13 transitive) === base-bytes.base 03f6a7f50e10 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e compiler-cloning.enabled 966a2e6839f0 crlibm.0.5.1 cc866b008117 csexp.1.5.2 8c096e7de322 dune.3.24.2 25fbaa318de6 dune-configurator.3.24.2 517e3f9cad4b interval_base.1.5 d00510c53d5a ocaml.5.5.1 70ca0c66e0e8 ocaml-base-compiler.5.5.1 59841d7ed85e ocaml-compiler.5.5.1 492c0c740bd1 ocamlfind.1.9.9~preview 5e0261154b58 === STDOUT === Processing: [default: loading data] [interval_crlibm.1.5: extract] -> retrieved interval_crlibm.1.5 (cached) [interval_crlibm: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "interval_crlibm" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/interval_crlibm.1.5) - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src-crlibm/.interval_crlibm.objs/byte -I /home/opam/.opam/default/lib/crlibm -I /home/opam/.opam/default/lib/interval_base -no-alias-deps -open Interval_crlibm__ -o src-crlibm/.interval_crlibm.objs/byte/interval_crlibm__Generic.cmo -c -impl src-crlibm/generic.ml) - File "src-crlibm/../src-intel/generic.ml", line 28, characters 13-23: - Alert deprecated: module Crlibm.Low - Use Crlibm.RoundDown - - File "src-crlibm/../src-intel/generic.ml", line 29, characters 14-25: - Alert deprecated: module Crlibm.High - Use Crlibm.RoundUp - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -no-float-const-prop -I src-crlibm/.interval_crlibm.objs/byte -I src-crlibm/.interval_crlibm.objs/native -I /home/opam/.opam/default/lib/crlibm -I /home/opam/.opam/default/lib/interval_base -cmi-file src-crlibm/.interval_crlibm.objs/byte/interval_crlibm__Generic.cmi -no-alias-deps -open Interval_crlibm__ -o src-crlibm/.interval_crlibm.objs/native/interval_crlibm__Generic.cmx -c -impl src-crlibm/generic.ml) - File "src-crlibm/../src-intel/generic.ml", line 28, characters 13-23: - Alert deprecated: module Crlibm.Low - Use Crlibm.RoundDown - - File "src-crlibm/../src-intel/generic.ml", line 29, characters 14-25: - Alert deprecated: module Crlibm.High - Use Crlibm.RoundUp - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -I src-crlibm/.interval_crlibm.objs/byte -I /home/opam/.opam/default/lib/crlibm -I /home/opam/.opam/default/lib/interval_base -cmi-file src-crlibm/.interval_crlibm.objs/byte/interval_crlibm.cmi -no-alias-deps -open Interval_crlibm__ -o src-crlibm/.interval_crlibm.objs/byte/interval_crlibm.cmo -c -impl src-crlibm/interval_crlibm.ml) - File "src-crlibm/interval_crlibm.ml", line 40, characters 10-20: - 40 | include Crlibm.Low - ^^^^^^^^^^ - Alert deprecated: module Crlibm.Low - Use Crlibm.RoundDown - - File "src-crlibm/interval_crlibm.ml", line 46, characters 16-27: - 46 | let em1 = Crlibm.High.expm1(-2. *. x) in - ^^^^^^^^^^^ - Alert deprecated: module Crlibm.High - Use Crlibm.RoundUp - - File "src-crlibm/interval_crlibm.ml", line 55, characters 10-21: - 55 | include Crlibm.High - ^^^^^^^^^^^ - Alert deprecated: module Crlibm.High - Use Crlibm.RoundUp - - File "src-crlibm/interval_crlibm.ml", line 59, characters 16-26: - 59 | let em1 = Crlibm.Low.expm1(-2. *. x) in - ^^^^^^^^^^ - Alert deprecated: module Crlibm.Low - Use Crlibm.RoundDown - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -no-float-const-prop -I src-crlibm/.interval_crlibm.objs/byte -I src-crlibm/.interval_crlibm.objs/native -I /home/opam/.opam/default/lib/crlibm -I /home/opam/.opam/default/lib/interval_base -cmi-file src-crlibm/.interval_crlibm.objs/byte/interval_crlibm.cmi -no-alias-deps -open Interval_crlibm__ -o src-crlibm/.interval_crlibm.objs/native/interval_crlibm.cmx -c -impl src-crlibm/interval_crlibm.ml) - File "src-crlibm/interval_crlibm.ml", line 40, characters 10-20: - 40 | include Crlibm.Low - ^^^^^^^^^^ - Alert deprecated: module Crlibm.Low - Use Crlibm.RoundDown - - File "src-crlibm/interval_crlibm.ml", line 46, characters 16-27: - 46 | let em1 = Crlibm.High.expm1(-2. *. x) in - ^^^^^^^^^^^ - Alert deprecated: module Crlibm.High - Use Crlibm.RoundUp - - File "src-crlibm/interval_crlibm.ml", line 55, characters 10-21: - 55 | include Crlibm.High - ^^^^^^^^^^^ - Alert deprecated: module Crlibm.High - Use Crlibm.RoundUp - - File "src-crlibm/interval_crlibm.ml", line 59, characters 16-26: - 59 | let em1 = Crlibm.Low.expm1(-2. *. x) in - ^^^^^^^^^^ - Alert deprecated: module Crlibm.Low - Use Crlibm.RoundDown -> compiled interval_crlibm.1.5 -> installed interval_crlibm.1.5 === STDERR === 2026-09-04 18:22.49: OK: build interval_crlibm.1.5 (runc: 3.1s, disk: 10KB) 2026-09-04 18:22.49: Job succeeded