Build:
- 0
2026-10-07 21:34.06: New job: build polka.2.71.15 (4849eff7d0d3)
2026-10-07 21:34.06: Waiting for resource in pool day11-builds
2026-10-07 21:40.34: Got resource from pool day11-builds
2026-10-07 21:40.34: [profile oxcaml-odoc-master] build polka.2.71.15
2026-10-07 21:40.34: build polka.2.71.15 (4849eff7d0d3)
=== DEPENDENCIES (26 transitive) ===
base-bigarray.base dce7dd6b7cf9
base-threads.base 464810371b96
base-unix.base 4596d20d2cf7
bigarray-compat.1.1.0 501a24d657e3
camlidl.1.13-1 ce1760bfc93b
conf-autoconf.1 8ee1e3913008
conf-findutils.1 7d0b2dd185a6
conf-gmp.5 c2adbec9a470
conf-gmp-paths.1 87b99a84df47
conf-m4.1 89ad302fbb3f
conf-mpfr.3 d57e416eee12
conf-mpfr-paths.1 d2a0ab6307b2
conf-perl.2 a1fd2a7adae8
conf-pkg-config.5 e39f7209b38f
conf-which.1 65c43ca119c3
cppo.1.8.0 bb6931612f24
dune.3.22.2+ox a601158acc62
extlib.1.8.0+ox 292edb997ff2
ez-conf-lib.2 ba7f70b13498
mlgmpidl.1.3.0 93109f9efaf3
num.1.6 7a36ed3a3fba
ocaml.5.2.0 b8c350f4f1ad
ocaml-config.3 2c72b422dfc3
ocaml-variants.5.2.0+ox 60cb73ac7801
ocamlfind.1.9.8+ox 70bd5761d4de
oxcaml-compiler.5.2.0minus39 c47b62237187
=== STDOUT ===
Processing: [default: loading data]
[polka.2.71.15: dl]
[polka.2.71.15: extract]
-> retrieved polka.2.71.15 (https://opam.ocaml.org/cache)
[polka: dune build]
+ /home/opam/.opam/default/bin/dune "build" "-p" "polka" "-j" "39" (CWD=/home/opam/.opam/default/.opam-switch/build/polka.2.71.15)
- File "lib/polka/dune", line 9, characters 47-57:
- 9 | vector_caml matrix_caml poly_caml polka_caml)
- ^^^^^^^^^^
- (cd _build/default/lib/polka && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 -O3 -fPIC -DPOLKA_NUM=3 -I$pkg_camlidl -I/usr/local/include/ -g -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/bigarray-compat -I /home/opam/.opam/default/lib/camlidl -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/num -o polka_caml.o -c polka_caml.c)
- In file included from /home/opam/.opam/default/lib/ocaml/caml/camlatomic.h:21,
- from /home/opam/.opam/default/lib/ocaml/caml/misc.h:272,
- from /home/opam/.opam/default/lib/ocaml/caml/memory.h:28,
- from polka_caml.c:6:
- polka.h:13:14: error: expected '{' before '_Bool'
- 13 | typedef enum bool {
- | ^~~~
- polka.h:13:14: error: two or more data types in declaration specifiers
- In file included from polka_caml.h:6,
- from polka_caml.c:11:
- polka.h:16:1: warning: useless type name in empty declaration
- 16 | } bool;
- | ^
- (cd _build/default/lib/polka && /usr/bin/make)
- echo "\
- s/vector__t/t/g; \
- s/matrix__t/t/g; \
- s/poly__t/t/g; \
- s/dimsup_t/dimsup/g; \
- s/equation_t/equation/g; \
- s/external vector_/external /g; \
- s/external matrix_/external /g; \
- s/external poly_/external /g; \
- s/Tbool_bottom/Bottom/; \
- s/Tbool_true/True/; \
- s/Tbool_false/False/; \
- s/Tbool_top/Top/; \
- " >sedscript
- mkdir -p tmp
- cp vector.idl tmp
- camlidl -nocpp -I . tmp/vector.idl
- cp tmp/vector_stubs.c vector_caml.c
- sed -f sedscript tmp/vector.ml >vector.ml
- sed -f sedscript tmp/vector.mli >vector.mli
- mkdir -p tmp
- cp matrix.idl tmp
- camlidl -nocpp -I . tmp/matrix.idl
- cp tmp/matrix_stubs.c matrix_caml.c
- sed -f sedscript tmp/matrix.ml >matrix.ml
- sed -f sedscript tmp/matrix.mli >matrix.mli
- mkdir -p tmp
- cp poly.idl tmp
- camlidl -nocpp -I . tmp/poly.idl
- cp tmp/poly_stubs.c poly_caml.c
- sed -f sedscript tmp/poly.ml >poly.ml
- sed -f sedscript tmp/poly.mli >poly.mli
- File "lib/polka/dune", line 8, characters 40-46:
- 8 | (names polka_c internal bit satmat cherni vector_c matrix_c poly_c
- ^^^^^^
- (cd _build/default/lib/polka && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 -O3 -fPIC -DPOLKA_NUM=3 -I$pkg_camlidl -I/usr/local/include/ -g -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/bigarray-compat -I /home/opam/.opam/default/lib/camlidl -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/num -o cherni.o -c cherni.c)
- cherni.c:501:6: error: conflicting types for 'cherni_checksatmat'; have '_Bool(const _Bool, const matrix_t *, const matrix_t *, const satmat_t *)'
- 501 | bool cherni_checksatmat(const bool con_to_ray,
- | ^~~~~~~~~~~~~~~~~~
- In file included from cherni.c:7:
- cherni.h:25:6: note: previous declaration of 'cherni_checksatmat' with type 'bool(bool, const matrix_t *, const matrix_t *, const satmat_t *)'
- 25 | bool cherni_checksatmat(bool con_to_ray,
- | ^~~~~~~~~~~~~~~~~~
- cherni.c:527:6: error: conflicting types for 'cherni_checksat'; have '_Bool(const _Bool, const matrix_t *, int, const matrix_t *, int, const satmat_t *)'
- 527 | bool cherni_checksat(const bool con_to_ray,
- | ^~~~~~~~~~~~~~~
- cherni.h:27:6: note: previous declaration of 'cherni_checksat' with type 'bool(bool, const matrix_t *, int, const matrix_t *, int, const satmat_t *)'
- 27 | bool cherni_checksat(bool con_to_ray,
- | ^~~~~~~~~~~~~~~
- cherni.c:594:6: error: conflicting types for 'cherni_minimize'; have 'void(const _Bool, matrix_t **, matrix_t **, satmat_t **, int *, int *)'
- 594 | void cherni_minimize(const bool con_to_ray, matrix_t** p_C,
- | ^~~~~~~~~~~~~~~
- cherni.h:32:6: note: previous declaration of 'cherni_minimize' with type 'void(bool, matrix_t **, matrix_t **, satmat_t **, int *, int *)'
- 32 | void cherni_minimize(bool con_to_ray, matrix_t** p_C,
- | ^~~~~~~~~~~~~~~
- cherni.c:668:6: error: conflicting types for 'cherni_add_and_minimize'; have 'void(_Bool, const matrix_t *, const matrix_t *, const satmat_t *, int, const matrix_t *, matrix_t **, matrix_t **, satmat_t **, int *, int *)'
- 668 | void cherni_add_and_minimize(bool con_to_ray,
- | ^~~~~~~~~~~~~~~~~~~~~~~
- cherni.h:36:6: note: previous declaration of 'cherni_add_and_minimize' with type 'void(bool, const matrix_t *, const matrix_t *, const satmat_t *, const int, const matrix_t *, matrix_t **, matrix_t **, satmat_t **, int *, int *)'
- 36 | void cherni_add_and_minimize(bool con_to_ray,
- | ^~~~~~~~~~~~~~~~~~~~~~~
- File "lib/polka/dune", line 9, characters 25-36:
- 9 | vector_caml matrix_caml poly_caml polka_caml)
- ^^^^^^^^^^^
- (cd _build/default/lib/polka && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 -O3 -fPIC -DPOLKA_NUM=3 -I$pkg_camlidl -I/usr/local/include/ -g -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/bigarray-compat -I /home/opam/.opam/default/lib/camlidl -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/num -o matrix_caml.o -c matrix_caml.c)
- In file included from /home/opam/.opam/default/lib/ocaml/caml/camlatomic.h:21,
- from /home/opam/.opam/default/lib/ocaml/caml/misc.h:272,
- from /home/opam/.opam/default/lib/ocaml/caml/mlvalues.h:20,
- from matrix_caml.c:5:
- polka.h:13:14: error: expected '{' before '_Bool'
- 13 | typedef enum bool {
- | ^~~~
- polka.h:13:14: error: two or more data types in declaration specifiers
- In file included from matrix.h:22,
- from matrix_caml.c:17:
- polka.h:16:1: warning: useless type name in empty declaration
- 16 | } bool;
- | ^
- File "lib/polka/dune", line 9, characters 13-24:
- 9 | vector_caml matrix_caml poly_caml polka_caml)
- ^^^^^^^^^^^
- (cd _build/default/lib/polka && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 -O3 -fPIC -DPOLKA_NUM=3 -I$pkg_camlidl -I/usr/local/include/ -g -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/bigarray-compat -I /home/opam/.opam/default/lib/camlidl -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/num -o vector_caml.o -c vector_caml.c)
- In file included from /home/opam/.opam/default/lib/ocaml/caml/camlatomic.h:21,
- from /home/opam/.opam/default/lib/ocaml/caml/misc.h:272,
- from /home/opam/.opam/default/lib/ocaml/caml/mlvalues.h:20,
- from vector_caml.c:5:
- polka.h:13:14: error: expected '{' before '_Bool'
- 13 | typedef enum bool {
- | ^~~~
- polka.h:13:14: error: two or more data types in declaration specifiers
- In file included from vector.h:11,
- from vector_caml.c:17:
- polka.h:16:1: warning: useless type name in empty declaration
- 16 | } bool;
- | ^
- File "lib/polka/dune", line 9, characters 37-46:
- 9 | vector_caml matrix_caml poly_caml polka_caml)
- ^^^^^^^^^
- (cd _build/default/lib/polka && /usr/bin/gcc -O2 -fno-strict-aliasing -fwrapv -pthread -fPIC -pthread -D_FILE_OFFSET_BITS=64 -O3 -fPIC -DPOLKA_NUM=3 -I$pkg_camlidl -I/usr/local/include/ -g -I /home/opam/.opam/default/lib/ocaml -I /home/opam/.opam/default/lib/bigarray-compat -I /home/opam/.opam/default/lib/camlidl -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/num -o poly_caml.o -c poly_caml.c)
- In file included from /home/opam/.opam/default/lib/ocaml/caml/camlatomic.h:21,
- from /home/opam/.opam/default/lib/ocaml/caml/misc.h:272,
- from /home/opam/.opam/default/lib/ocaml/caml/mlvalues.h:20,
- from poly_caml.c:5:
- polka.h:13:14: error: expected '{' before '_Bool'
- 13 | typedef enum bool {
- | ^~~~
- polka.h:13:14: error: two or more data types in declaration specifiers
- In file included from poly.h:15,
- from poly_caml.c:17:
- polka.h:16:1: warning: useless type name in empty declaration
- 16 | } bool;
- | ^
- poly_caml.c: In function 'camlidl_poly_poly_inter_array':
- poly_caml.c:756:32: error: passing argument 1 of 'poly_intersection_array' from incompatible pointer type [-Wincompatible-pointer-types]
- 756 | _res = poly_intersection_array(po,size);
- | ^~
- | |
- | poly_t **
- poly.h:91:55: note: expected 'const poly_t * const*' but argument is of type 'poly_t **'
- 91 | poly_t* poly_intersection_array(const poly_t* const *po, int size);
- | ~~~~~~~~~~~~~~~~~~~~~^~
- poly_caml.c: In function 'camlidl_poly_poly_union_array':
- poly_caml.c:848:31: error: passing argument 1 of 'poly_convex_hull_array' from incompatible pointer type [-Wincompatible-pointer-types]
- 848 | _res = poly_convex_hull_array(po,size);
- | ^~
- | |
- | poly_t **
- poly.h:96:54: note: expected 'const poly_t * const*' but argument is of type 'poly_t **'
- 96 | poly_t* poly_convex_hull_array(const poly_t* const *po, int size);
- | ~~~~~~~~~~~~~~~~~~~~~^~
- poly_caml.c: In function 'camlidl_poly_poly_inter_array_lazy':
- poly_caml.c:940:37: error: passing argument 1 of 'poly_intersection_array_lazy' from incompatible pointer type [-Wincompatible-pointer-types]
- 940 | _res = poly_intersection_array_lazy(po,size);
- | ^~
- | |
- | poly_t **
- poly.h:101:60: note: expected 'const poly_t * const*' but argument is of type 'poly_t **'
- 101 | poly_t* poly_intersection_array_lazy(const poly_t* const *po, int size);
- | ~~~~~~~~~~~~~~~~~~~~~^~
- poly_caml.c: In function 'camlidl_poly_poly_union_array_lazy':
- poly_caml.c:1032:36: error: passing argument 1 of 'poly_convex_hull_array_lazy' from incompatible pointer type [-Wincompatible-pointer-types]
- 1032 | _res = poly_convex_hull_array_lazy(po,size);
- | ^~
- | |
- | poly_t **
- poly.h:106:59: note: expected 'const poly_t * const*' but argument is of type 'poly_t **'
- 106 | poly_t* poly_convex_hull_array_lazy(const poly_t* const *po, int size);
- | ~~~~~~~~~~~~~~~~~~~~~^~
- (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -I lib/polka/.polka.objs/byte -I /home/opam/.opam/default/lib/bigarray-compat -I /home/opam/.opam/default/lib/camlidl -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/num -cmi-file lib/polka/.polka.objs/byte/polka.cmi -no-alias-deps -o lib/polka/.polka.objs/byte/polka.cmo -c -impl lib/polka/polka.ml)
- File "lib/polka/polka.ml", line 5, characters 2-29:
- 5 | Callback.register_exception
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Callback.register_exception
- Use [Callback.Safe.register_exception].
- (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I lib/polka/.polka.objs/byte -I lib/polka/.polka.objs/native -I /home/opam/.opam/default/lib/bigarray-compat -I /home/opam/.opam/default/lib/camlidl -I /home/opam/.opam/default/lib/gmp -I /home/opam/.opam/default/lib/num -cmi-file lib/polka/.polka.objs/byte/polka.cmi -no-alias-deps -o lib/polka/.polka.objs/native/polka.cmx -c -impl lib/polka/polka.ml)
- File "lib/polka/polka.ml", line 5, characters 2-29:
- 5 | Callback.register_exception
- ^^^^^^^^^^^^^^^^^^^^^^^^^^^
- Alert unsafe_multidomain: Stdlib.Callback.register_exception
- Use [Callback.Safe.register_exception].
[ERROR] The compilation of polka.2.71.15 failed at "dune build -p polka -j 39".
build failed...
=== STDERR ===
2026-10-07 21:41.29: FAILED: build polka.2.71.15
2026-10-07 21:41.29: Job failed: build failed: polka.2.71.15