Build:
- 0
2026-06-16 14:33.41: New job: build interval_crlibm.1.5.1 (153f89319af0) 2026-06-16 14:33.41: Waiting for resource in pool day11-builds 2026-06-16 16:18.10: Got resource from pool day11-builds 2026-06-16 16:18.10: [profile full] build interval_crlibm.1.5.1 2026-06-16 16:18.10: build interval_crlibm.1.5.1 (153f89319af0) === DEPENDENCIES (13 transitive) === base-bytes.base 4e354a32e9ce base-threads.base b7164ff76afe base-unix.base 839dc585f12d crlibm.0.5.1 868c6ab62578 csexp.1.5.2 e2491a88a8e9 dune.3.23.1 d50060dd2cab dune-configurator.3.23.1 83dd42d9abe2 interval_base.1.5.1 8d143266e010 ocaml.5.4.1 708fed352b2a ocaml-base-compiler.5.4.1 89b85703f841 ocaml-compiler.5.4.1 a719b8419b8e ocaml-config.3 aa27f63940d8 ocamlfind.1.9.8 5cfa73ef65e7 === STDOUT === Processing: [default: loading data] [interval_crlibm.1.5.1: extract] -> retrieved interval_crlibm.1.5.1 (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.1) - (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.1 -> installed interval_crlibm.1.5.1 === STDERR === 2026-06-16 16:18.16: OK: build interval_crlibm.1.5.1 (runc: 2.6s, disk: 10KB) 2026-06-16 16:18.16: Job succeeded