Build:
- 0
2026-10-06 17:52.28: New job: build crlibm.0.5.1 (a2cd0fb75bfc) 2026-10-06 17:52.28: Waiting for resource in pool day11-builds 2026-10-06 17:59.25: Got resource from pool day11-builds 2026-10-06 17:59.25: [profile oxcaml-odoc-master] build crlibm.0.5.1 2026-10-06 17:59.25: build crlibm.0.5.1 (a2cd0fb75bfc) === DEPENDENCIES (13 transitive) === base-bytes.base a69faf0964a2 base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 conf-autoconf.1 8ee1e3913008 conf-which.1 65c43ca119c3 csexp.1.5.2 3194ba1b6774 dune.3.22.2+ox 9158bd0e098d dune-configurator.3.22.2+ox b9a3eeb73695 ocaml.5.2.0 879ae859f814 ocaml-config.3 37112a8040f8 ocaml-variants.5.2.0+ox 8119d9341417 ocamlfind.1.9.8+ox 665ae3389aa8 oxcaml-compiler.5.2.0minus39 72925b65bf23 === STDOUT === Processing: [default: loading data] [crlibm.0.5.1: dl] [crlibm.0.5.1: extract] -> retrieved crlibm.0.5.1 (https://opam.ocaml.org/cache) [crlibm: dune build] + /home/opam/.opam/default/bin/dune "build" "-p" "crlibm" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/crlibm.0.5.1) - (cd _build/default/src && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -DSCS_NB_BITS=30 -DSCS_NB_WORDS=8 -DCRLIBM_HAS_FPU_CONTROL -DCRLIBM_TYPECPU_AMD64 -DHAVE_UNISTD_H -DHAVE_STRINGS_H -DHAVE_STDLIB_H -DHAVE_INTTYPES_H -DHAVE_FLOAT_H -DHAVE_FENV_H -g -I /home/opam/.opam/default/lib/ocaml -o log-selected.o -c log-selected.c) - log-selected.c: In function 'log_rn': - log-selected.c:102:20: warning: division by zero [-Wdiv-by-zero] - 102 | return (x-x)/0; /* log(-x) = Nan */ - | ^ - log-selected.c: In function 'log_ru': - log-selected.c:282:20: warning: division by zero [-Wdiv-by-zero] - 282 | return (x-x)/0; /* log(-x) = Nan */ - | ^ - log-selected.c: In function 'log_rd': - log-selected.c:461:20: warning: division by zero [-Wdiv-by-zero] - 461 | return (x-x)/0; /* log(-x) = Nan */ - | ^ - log-selected.c: In function 'log_rz': - log-selected.c:640:20: warning: division by zero [-Wdiv-by-zero] - 640 | return (x-x)/0; /* log(-x) = Nan */ - | ^ - log-selected.c: In function 'log2_rn': - log-selected.c:818:20: warning: division by zero [-Wdiv-by-zero] - 818 | return (x-x)/0; /* log(-x) = Nan */ - | ^ - log-selected.c: In function 'log2_ru': - log-selected.c:984:20: warning: division by zero [-Wdiv-by-zero] - 984 | return (x-x)/0; /* log(-x) = Nan */ - | ^ - log-selected.c: In function 'log2_rd': - log-selected.c:1166:20: warning: division by zero [-Wdiv-by-zero] - 1166 | return (x-x)/0; /* log(-x) = Nan */ - | ^ - log-selected.c: In function 'log2_rz': - log-selected.c:1348:20: warning: division by zero [-Wdiv-by-zero] - 1348 | return (x-x)/0; /* log(-x) = Nan */ - | ^ - log-selected.c: In function 'log10_rn': - log-selected.c:1531:20: warning: division by zero [-Wdiv-by-zero] - 1531 | return (x-x)/0; /* log(-x) = Nan */ - | ^ - log-selected.c: In function 'log10_ru': - log-selected.c:1718:20: warning: division by zero [-Wdiv-by-zero] - 1718 | return (x-x)/0; /* log(-x) = Nan */ - | ^ - log-selected.c: In function 'log10_rd': - log-selected.c:1905:20: warning: division by zero [-Wdiv-by-zero] - 1905 | return (x-x)/0; /* log(-x) = Nan */ - | ^ - log-selected.c: In function 'log10_rz': - log-selected.c:2091:20: warning: division by zero [-Wdiv-by-zero] - 2091 | return (x-x)/0; /* log(-x) = Nan */ - | ^ -> compiled crlibm.0.5.1 -> installed crlibm.0.5.1 === STDERR === 2026-10-06 18:00.04: OK: build crlibm.0.5.1 (runc: 18.6s, disk: 9KB) 2026-10-06 18:00.04: Job succeeded