Build:
- 0
2026-07-26 12:31.09: New job: build elina.1.3.1 (2ae0ea4997bf)
2026-07-26 12:31.09: Waiting for resource in pool day11-builds
2026-07-26 13:24.36: Got resource from pool day11-builds
2026-07-26 13:24.36: [profile full] build elina.1.3.1
2026-07-26 13:24.36: build elina.1.3.1 (2ae0ea4997bf)
=== DEPENDENCIES (18 transitive) ===
apron.v0.9.15 a5616ea0d07f
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-paths.1 88124034e40d
conf-mpfr-paths.1 f09a09a22040
conf-perl.2 a8399df8a8e4
dune.3.24.1 0d2a3ba8bfb9
ez-conf-lib.2 03ce1f5853af
mlgmpidl.1.3.0 bcd77b822bda
ocaml.5.5.0 af24caade1d3
ocaml-base-compiler.5.5.0 5f93989ce6d7
ocaml-compiler.5.5.0 15edcf5138e5
ocamlbuild.0.16.1 ae35ea2527bb
ocamlfind.1.9.9~preview c75d6f48ab10
=== STDOUT ===
Processing: [default: loading data]
[elina.1.3.1: dl]
[elina.1.3.1: extract]
-> retrieved elina.1.3.1 (https://opam.ocaml.org/cache)
[elina: sh]
+ /usr/bin/sh "./configure" "--prefix" "/home/opam/.opam/default/share/elina" "--apron-prefix" "/home/opam/.opam/default/share/apron" "--use-opam" "--use-apron" "--use-vector" (CWD=/home/opam/.opam/default/.opam-switch/build/elina.1.3.1)
- checking compilation with cc : working
- checking compilation with cc -Wcast-qual: working
- checking compilation with cc -Wswitch: working
- checking compilation with cc -Wall: working
- checking compilation with cc -Wextra: working
- checking compilation with cc -Wundef: working
- checking compilation with cc -Wcast-align: working
- checking compilation with cc -Wno-unused: working
- checking compilation with cc -U__STRICT_ANSI__: working
- checking compilation with cc -fPIC: working
- checking compilation with cc -O3: working
- checking compilation with cc -DNDEBUG: working
- checking compilation with cc -Werror-implicit-function-declaration: working
- checking compilation with cc -Wbad-function-cast: working
- checking compilation with cc -Wstrict-prototypes:
- working
- checking compilation with cc -Wno-strict-overflow: working
- checking compilation with cc -std=c99: working
- binary ar: found in /usr/bin
- binary ranlib: found in /usr/bin
- binary sed: found in /usr/bin
- binary perl: found in /usr/bin
- binary install: found in /usr/bin
- looking for gmp without prefix
- include gmp.h: found
- library gmp: found
- library gmp found without prefix
- looking for mpfr without prefix
- include mpfr.h: found
- library mpfr: found
- library mpfr found without prefix
- binary ocamlc.opt: found in /home/opam/.opam/default/bin
- binary ocamlopt.opt: found in /home/opam/.opam/default/bin
- binary ocamldep: found in /home/opam/.opam/default/bin
- binary ocamllex: found in /home/opam/.opam/default/bin
- binary ocamlyacc: found in /home/opam/.opam/default/bin
- binary ocamldoc: found in /home/opam/.opam/default/bin
- binary ocamlmktop: found in /home/opam/.opam/default/bin
- binary ocamlmklib: found in /home/opam/.opam/default/bin
- binary camlidl: found in /home/opam/.opam/default/bin
- binary ocamlfind: found in /home/opam/.opam/default/bin
- include caml/mlvalues.h: found
- include caml/camlidlruntime.h: found
- include gmp_caml.h: found
-
- detected configuration:
-
- optional OCaml support 1
- optional OCamlFind support 1
- optional Java support 0
- optional CUDA support 0
-
- installation path /home/opam/.opam/default/share/elina
-
[elina: make]
+ /usr/bin/make "-j39" (CWD=/home/opam/.opam/default/.opam-switch/build/elina.1.3.1)
- (cd elina_linearize; make all)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3.1/elina_linearize'
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_generic.o elina_generic.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_scalar_arith.o elina_scalar_arith.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_interval_arith.o elina_interval_arith.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_coeff_arith.o elina_coeff_arith.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_linexpr0_arith.o elina_linexpr0_arith.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_linearize.o elina_linearize.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o elina_linearize_texpr.o elina_linearize_texpr.c -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- cc -shared -Wl,-rpath=/home/opam/.opam/default/share/elina/lib -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../apron_interface -o libelinalinearize.so elina_generic.o elina_scalar_arith.o elina_interval_arith.o elina_coeff_arith.o elina_linexpr0_arith.o elina_linearize.o elina_linearize_texpr.o -lmpfr -lgmp -lm -L/home/opam/.opam/default/share/apron/lib -lapron
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3.1/elina_linearize'
- (cd partitions_api; make all)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3.1/partitions_api'
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -o comp_list.o comp_list.c
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -o array_comp_list.o array_comp_list.c
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -o intersection.o intersection.c
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -o union.o union.c
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -o extract.o extract.c
- comp_list.c: In function 'comp_list_deserialize':
- comp_list.c:289:25: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-Wsign-compare]
- 289 | for(size_t i = 0; i < length - 1; i++){
- | ^
- cc -shared -Wl,-rpath=/home/opam/.opam/default/share/elina/lib -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I../ -o libpartitions.so comp_list.o array_comp_list.o intersection.o union.o extract.o
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3.1/partitions_api'
- (cd elina_oct; make all)
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3.1/elina_oct'
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_closure_comp_sparse.o opt_oct_closure_comp_sparse.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_closure_dense.o opt_oct_closure_dense.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_nary.o opt_oct_nary.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_resize.o opt_oct_resize.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_predicate.o opt_oct_predicate.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_representation.o opt_oct_representation.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_transfer.o opt_oct_transfer.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_hmat.o opt_oct_hmat.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm
- opt_oct_closure_dense.c: In function 'floyd_warshall_dense':
- opt_oct_closure_dense.c:380:1: warning: control reaches end of non-void function [-Wreturn-type]
- 380 | }
- | ^
- cc -c -Wcast-qual -Wswitch -Wall -Wextra -Wundef -Wcast-align -Wno-unused -U__STRICT_ANSI__ -fPIC -O3 -DNDEBUG -Werror-implicit-function-declaration -Wbad-function-cast -Wstrict-prototypes -Wno-strict-overflow -std=c99 -g -DNUM_LONGLONGRAT -DNUM_DOUBLE -DTHRESHOLD=0.75 -DTIMING -D_GNU_SOURCE -pthread -fno-tree-vectorize -m64 -march=native -ffp-contract=off -DHAS_APRON -DVECTOR -I/home/opam/.opam/default/share/apron/include -I../ -I../apron_interface -I../elina_linearize -I../partitions_api -o opt_oct_incr_closure_dense.o opt_oct_incr_closure_dense.c -L../partitions_api -lpartitions -L/home/opam/.opam/default/share/apron/lib -lapron -L../elina_linearize -lelinalinearize -lmpfr -lgmp -lm opt_oct_closure_dense.o
- opt_oct_hmat.c: In function 'opt_hmat_permute':
- opt_oct_hmat.c:1493:44: warning: comparison of integer expressions of different signedness: 'ap_dim_t' {aka 'unsigned int'} and 'int' [-Wsign-compare]
- 1493 | if(permutation[num]>=dst_dim){
- | ^~
- opt_oct_hmat.c: In function 'opt_hmat_add_lincons':
- opt_oct_hmat.c:2027:22: error: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types]
- 2027 | incr_closure = &incremental_closure_comp_sparse;
- | ^
- opt_oct_hmat.c:2039:30: error: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types]
- 2039 | incr_closure = &incremental_closure_opt_dense;
- | ^
- opt_oct_hmat.c: In function 'opt_hmat_assign':
- opt_oct_transfer.c: In function 'opt_oct_meet_tcons_array':
- opt_oct_transfer.c:269:51: error: passing argument 7 of 'elina_generic_meet_intlinearize_tcons_array' from incompatible pointer type [-Wincompatible-pointer-types]
- 269 | &opt_oct_meet_lincons_array);
- | ^~~~~~~~~~~~~~~~~~~~~~~~~~~
- | |
- | opt_oct_t * (*)(ap_manager_t *, bool, opt_oct_t *, ap_lincons0_array_t *) {aka opt_oct_t * (*)(ap_manager_t *, char, opt_oct_t *, ap_lincons0_array_t *)}
- In file included from opt_oct.h:38,
- from opt_oct_internal.h:87,
- from opt_oct_hmat.h:31,
- from opt_oct_transfer.c:22:
- ../elina_linearize/elina_generic.h:112:50: note: expected 'void * (*)(ap_manager_t *, bool, void *, ap_lincons0_array_t *)' {aka 'void * (*)(ap_manager_t *, char, void *, ap_lincons0_array_t *)'} but argument is of type 'opt_oct_t * (*)(ap_manager_t *, bool, opt_oct_t *, ap_lincons0_array_t *)' {aka 'opt_oct_t * (*)(ap_manager_t *, char, opt_oct_t *, ap_lincons0_array_t *)'}
- 112 | void* (*meet_lincons_array)(elina_manager_t*,
- | ~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
- 113 | bool, void*,
- | ~~~~~~~~~~~~
- 114 | elina_lincons0_array_t*));
- | ~~~~~~~~~~~~~~~~~~~~~~~~
- opt_oct_hmat.c:2933:22: error: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types]
- 2933 | incr_closure = &incremental_closure_comp_sparse;
- | ^
- opt_oct_hmat.c:2945:30: error: assignment to 'bool (*)(opt_oct_mat_t *, ...)' {aka 'char (*)(opt_oct_mat_t *, ...)'} from incompatible pointer type 'bool (*)(opt_oct_mat_t *, int, int, bool)' {aka 'char (*)(opt_oct_mat_t *, int, int, char)'} [-Wincompatible-pointer-types]
- 2945 | incr_closure = &incremental_closure_opt_dense;
- | ^
- make[1]: *** [Makefile:90: opt_oct_hmat.o] Error 1
- make[1]: *** Waiting for unfinished jobs....
- make[1]: *** [Makefile:105: opt_oct_transfer.o] Error 1
- opt_oct_incr_closure_dense.c: In function 'incremental_closure_opt_dense':
- opt_oct_incr_closure_dense.c:46:31: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 46 | for(unsigned k = 0; k < n; k=k + 2){
- | ^
- opt_oct_incr_closure_dense.c:53:29: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 53 | int br1 = k < v1 ? k : v1;
- | ^
- opt_oct_incr_closure_dense.c:53:40: warning: operand of '?:' changes signedness from 'int' to 'unsigned int' due to unsignedness of other operand [-Wsign-compare]
- 53 | int br1 = k < v1 ? k : v1;
- | ^~
- opt_oct_incr_closure_dense.c:65:41: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 65 | for(unsigned i = 2*v; i < 2*v + 2; i++){
- | ^
- opt_oct_incr_closure_dense.c:75:31: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 75 | if(kk <=i){
- | ^~
- opt_oct_incr_closure_dense.c:94:33: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 94 | if ( kk <= i){
- | ^~
- opt_oct_incr_closure_dense.c:153:40: warning: comparison of integer expressions of different signedness: 'int' and 'unsigned int' [-Wsign-compare]
- 153 | for(j= v1+2; j < k; j++ ){
- | ^
- opt_oct_incr_closure_dense.c:230:39: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 230 | for(unsigned i = 0; i < v1; i++){
- | ^
- opt_oct_incr_closure_dense.c:281:45: warning: comparison of integer expressions of different signedness: 'unsigned int' and 'int' [-Wsign-compare]
- 281 | for(unsigned i = 2*v + 2; i < n; i++){
- | ^
[ERROR] The compilation of elina.1.3.1 failed at "make -j39".
- cc: warning: opt_oct_closure_dense.o: linker input file unused because linking not done
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/elina.1.3.1/elina_oct'
- make: *** [Makefile:48: c] Error 2
build failed...
=== STDERR ===
2026-07-26 13:25.14: FAILED: build elina.1.3.1
2026-07-26 13:25.14: Job failed: build failed: elina.1.3.1