Build:
- 0
2026-07-10 00:08.56: New job: build polka.2.71.15 (c685b73d342b) 2026-07-10 00:08.56: Waiting for resource in pool day11-builds 2026-07-10 01:07.12: Got resource from pool day11-builds 2026-07-10 01:07.12: [profile full] build polka.2.71.15 2026-07-10 01:07.12: build polka.2.71.15 (c685b73d342b) === DEPENDENCIES (29 transitive) === base-bigarray.base cb565f687a2d base-threads.base 44df48f3da5c base-unix.base 4103cdc1c2b0 bigarray-compat.1.1.0 cf29a87677c8 camlidl.1.13-1 b0962b2fa398 compiler-cloning.enabled 66bfb9f05f4a conf-findutils.1 6b01c87385a1 conf-gmp.5 28650a0c2a50 conf-gmp-paths.1 e43663faa91c conf-libX11.1 2cad8f28833d conf-libXft.1 fb65e076f2db conf-m4.1 f73611d1230b conf-mpfr.3 ed2178a4772d conf-mpfr-paths.1 19a89833f16d conf-perl.2 18284ca03ca9 conf-pkg-config.5 f20b8fd18442 cppo.1.8.0 84fdf8484404 csexp.1.5.2 ff64121cd3d2 dune.3.24.0 a6f8cb91c5a0 dune-configurator.3.24.0 a70654ffc3a4 extlib.1.8.0 79e8766b215c ez-conf-lib.2 00bb665400dc graphics.5.2.0 99ddb84218d5 mlgmpidl.1.3.0 3c3b7d92a333 num.1.6 7c6c385e6016 ocaml.5.5.0 86e14e3aea8d ocaml-base-compiler.5.5.0 1bf93bba4295 ocaml-compiler.5.5.0 eb7e9cf1c298 ocamlfind.1.9.8 e098f0bc8c45 === 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) - (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 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_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.15 failed at "dune build -p polka -j 39". build failed... === STDERR === 2026-07-10 01:07.39: FAILED: build polka.2.71.15 2026-07-10 01:07.39: Job failed: build failed: polka.2.71.15