Build:
- 1
- 0
2026-09-03 20:29.14: New job: build interval_crlibm.1.5 (d3e885aad459) 2026-09-03 20:29.14: Waiting for resource in pool day11-builds 2026-09-03 22:32.36: Got resource from pool day11-builds 2026-09-03 22:32.36: [profile full] build interval_crlibm.1.5 2026-09-03 22:32.36: build interval_crlibm.1.5 (d3e885aad459) === DEPENDENCIES (13 transitive) === base-bytes.base a07bc30a9819 base-threads.base 3d2f2cbc6db2 base-unix.base 3a38ddca6b5e compiler-cloning.enabled 966a2e6839f0 crlibm.0.5.1 d0a216ef5c34 csexp.1.5.2 58b250503765 dune.3.24.2 ec704e062ad3 dune-configurator.3.24.2 183455f65a68 interval_base.1.5 785926769ae2 ocaml.5.5.0 22ebd7932512 ocaml-base-compiler.5.5.0 db1659234e8a ocaml-compiler.5.5.0 7f52fb26d939 ocamlfind.1.9.9~preview 6a4c70487cf9 === 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-03 22:32.44: OK: build interval_crlibm.1.5 (runc: 2.6s, disk: 10KB) 2026-09-03 22:32.44: Job succeeded