2026-10-01 23:31.31: New job: build crlibm.0.5.1 (f1f573fb6d38)
2026-10-01 23:31.31: Waiting for resource in pool day11-builds
2026-10-01 23:37.01: Got resource from pool day11-builds
2026-10-01 23:37.01: [profile oxcaml-odoc-master] build crlibm.0.5.1
2026-10-01 23:37.01: build crlibm.0.5.1 (f1f573fb6d38)
=== DEPENDENCIES (13 transitive) ===
  base-bytes.base                                    9b400b95a77c
  base-threads.base                                  ddcab511c589
  base-unix.base                                     742554e1dbc2
  conf-autoconf.1                                    43fe4a407b7a
  conf-which.1                                       5fccb3a41099
  csexp.1.5.2                                        a9d3fd6f82d9
  dune.3.22.2+ox                                     a2ef013eeea9
  dune-configurator.3.22.2+ox                        dea98c56dd29
  ocaml.5.2.0                                        cda6777ccfe3
  ocaml-config.3                                     d77b853eaa33
  ocaml-variants.5.2.0+ox                            a9808a9375cd
  ocamlfind.1.9.8+ox                                 f23a347b8f5f
  oxcaml-compiler.5.2.0minus39                       9c94ae342626
=== 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-01 23:37.30: OK: build crlibm.0.5.1 (runc: 14.6s, disk: 9KB)
2026-10-01 23:37.30: Job succeeded