Build:
- 0
2026-07-26 10:58.41: New job: build polka.2.71.10 (ea10123b457d)
2026-07-26 10:58.41: Waiting for resource in pool day11-builds
2026-07-26 12:28.53: Got resource from pool day11-builds
2026-07-26 12:28.53: [profile full] build polka.2.71.10
2026-07-26 12:28.53: build polka.2.71.10 (ea10123b457d)
=== DEPENDENCIES (24 transitive) ===
base-bigarray.base e774a4d8d0a0
base-threads.base afe16a8e71c3
base-unix.base 73c0a5fdd34a
bigarray-compat.1.1.0 f41547b34a4a
camlidl.1.13-1 39f2d7499599
compiler-cloning.enabled 22a431860256
conf-findutils.1 aaa98bce768f
conf-gmp.5 be8168159001
conf-gmp-paths.1 88124034e40d
conf-m4.1 e234c35c17cb
conf-mpfr.3 4e3a04ba0cf7
conf-mpfr-paths.1 f09a09a22040
conf-perl.2 a8399df8a8e4
conf-pkg-config.5 2c611009363a
cppo.1.8.0 4a096e8ded10
dune.3.24.1 0d2a3ba8bfb9
extlib.1.8.0 6bb29bad995a
ez-conf-lib.2 03ce1f5853af
mlgmpidl.1.3.0 bcd77b822bda
num.1.6 2c9fca9035b8
ocaml.5.5.0 af24caade1d3
ocaml-base-compiler.5.5.0 5f93989ce6d7
ocaml-compiler.5.5.0 15edcf5138e5
ocamlfind.1.9.9~preview c75d6f48ab10
=== STDOUT ===
Processing: [default: loading data]
[polka.2.71.10: dl]
[polka.2.71.10: extract]
-> retrieved polka.2.71.10 (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.10)
- 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 -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)
- polka_caml.c: In function 'camlidl_polka_vector_c2ml':
- polka_caml.c:111:10: error: implicit declaration of function 'alloc_custom'; did you mean 'caml_alloc_custom'? [-Wimplicit-function-declaration]
- 111 | vvec = alloc_custom(&camlidl_polka_vector_custom, sizeof(struct vector__t),
- | ^~~~~~~~~~~~
- | caml_alloc_custom
- polka_caml.c: In function 'camlidl_polka_poly_constraints':
- polka_caml.c:233:14: error: implicit declaration of function 'alloc_small'; did you mean 'caml_alloc_small'? [-Wimplicit-function-declaration]
- 233 | _v_res = alloc_small(1,0);
- | ^~~~~~~~~~~
- | caml_alloc_small
- (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 -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: In function 'cherni_conversion':
- cherni.c:210:21: error: implicit declaration of function 'failwith'; did you mean 'caml_failwith'? [-Wimplicit-function-declaration]
- 210 | failwith("Chernikova: out of table space\n");
- | ^~~~~~~~
- | caml_failwith
- 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 -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)
- vector_caml.c: In function 'camlidl_vector_vector_make':
- vector_caml.c:43:13: error: implicit declaration of function 'invalid_argument'; did you mean 'caml_invalid_argument'? [-Wimplicit-function-declaration]
- 43 | if (size<0) invalid_argument("Vector.make: size is negative !");
- | ^~~~~~~~~~~~~~~~
- | caml_invalid_argument
- 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 -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)
- matrix_caml.c: In function 'camlidl_matrix_matrix_make':
- matrix_caml.c:64:1: error: implicit declaration of function 'invalid_argument'; did you mean 'caml_invalid_argument'? [-Wimplicit-function-declaration]
- 64 | invalid_argument("Matrix.make: at least one argument is negative !");
- | ^~~~~~~~~~~~~~~~
- | caml_invalid_argument
- 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 -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)
- poly_caml.c: In function 'camlidl_poly_poly_poly_versus_constraint':
- poly_caml.c:394:1: error: implicit declaration of function 'invalid_argument'; did you mean 'caml_invalid_argument'? [-Wimplicit-function-declaration]
- 394 | invalid_argument("Poly.poly_versus_constraint: incompatible dimensions");
- | ^~~~~~~~~~~~~~~~
- | caml_invalid_argument
- 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 **
- In file included from poly_caml.c:17:
- 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);
- | ~~~~~~~~~~~~~~~~~~~~~^~
[ERROR] The compilation of polka.2.71.10 failed at "dune build -p polka -j 39".
build failed...
=== STDERR ===
2026-07-26 12:29.13: FAILED: build polka.2.71.10
2026-07-26 12:29.13: Job failed: build failed: polka.2.71.10