Build:
- 0
2026-06-20 17:19.45: New job: build interval_crlibm.1.5 (fdfea5a270ce) 2026-06-20 17:19.45: Waiting for resource in pool day11-builds 2026-06-20 18:50.14: Got resource from pool day11-builds 2026-06-20 18:50.14: [profile full] build interval_crlibm.1.5 2026-06-20 18:50.14: build interval_crlibm.1.5 (fdfea5a270ce) === DEPENDENCIES (13 transitive) === base-bytes.base ec2393fe4c6d base-threads.base b7164ff76afe base-unix.base 839dc585f12d compiler-cloning.enabled 0d2606125f88 crlibm.0.5.1 628f46ac5165 csexp.1.5.2 315ecef51574 dune.3.23.1 dbfeecb5ca10 dune-configurator.3.23.1 8afe79196456 interval_base.1.5 fa31204c44e8 ocaml.5.5.0 1b4132bddf48 ocaml-base-compiler.5.5.0 1901c3a760c1 ocaml-compiler.5.5.0 5f593a0b4a8c ocamlfind.1.9.8 5b46f9d92bbd === 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/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__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/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-06-20 18:50.32: OK: build interval_crlibm.1.5 (runc: 2.7s, disk: 10KB) 2026-06-20 18:50.32: Job succeeded