ocaml-docs-ci

Build:
2026-06-16 11:13.24: New job: build csdp.6.2.0 (aeee3710724f)
2026-06-16 11:13.24: Waiting for resource in pool day11-builds
2026-06-16 11:28.49: Got resource from pool day11-builds
2026-06-16 11:28.49: [profile full] build csdp.6.2.0
2026-06-16 11:28.49: build csdp.6.2.0 (aeee3710724f)
=== DEPENDENCIES (3 transitive) ===
  conf-gcc.1.0                                       dd4c5e537e37
  conf-lapack.1                                      1e348e532959
  conf-openblas.0.2.3                                9271293f9ad5
=== STDOUT ===
Processing: [default: loading data]
[csdp.6.2.0: dl]
[csdp.6.2.0: extract]
[csdp.6.2.0/csdp.install: dl]
-> retrieved csdp.6.2.0  (https://opam.ocaml.org/cache)
[csdp: sed 16i\
#include <stdio.h>]
+ /usr/bin/sed "-e" "16i\\\n#include <stdio.h>" "-i.bak" "lib/user_exit.c" (CWD=/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0)
[csdp: sed Makefile]
+ /usr/bin/sed "-e" "/export LIBS=/s/-lblas/-lopenblas/" "-e" "/export LIBS=/s/-static//" "-i.bak" "Makefile" (CWD=/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0)
[csdp: sed Makefile]
+ /usr/bin/sed "-e" "/export CFLAGS=/s/-m64//" "-i.bak" "Makefile" (CWD=/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0)
[csdp: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0)
- cd lib; make libsdp.a
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0/lib'
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o readprob.o readprob.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o sdp.o sdp.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o op_o.o op_o.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o psd_feas.o psd_feas.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o op_a.o op_a.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o op_at.o op_at.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o Fnorm.o Fnorm.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o calc_pobj.o calc_pobj.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o calc_dobj.o calc_dobj.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o trace_prod.o trace_prod.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o zero_mat.o zero_mat.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o mat_mult.o mat_mult.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o sym_mat.o sym_mat.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o copy_mat.o copy_mat.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o addscaledmat.o addscaledmat.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o user_exit.o user_exit.c
- user_exit.c: In function 'catch_sigxcpu':
- user_exit.c:39:7: warning: variable 'ret' set but not used [-Wunused-but-set-variable]
-    39 |   int ret;
-       |       ^~~
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o make_i.o make_i.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o allocmat.o allocmat.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o initsoln.o initsoln.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o initparams.o initparams.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o add_mat.o add_mat.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o writesol.o writesol.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o readsol.o readsol.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o easysdp.o easysdp.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o writeprob.o writeprob.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o solvesys.o solvesys.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o makefill.o makefill.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o mat_multsp.o mat_multsp.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o norms.o norms.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o linesearch.o linesearch.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o matvec.o matvec.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o chol.o chol.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o qreig.o qreig.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o tweakgap.o tweakgap.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o freeprob.o freeprob.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o packed.o packed.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o sortentries.o sortentries.c
- ar cr libsdp.a  readprob.o sdp.o op_o.o psd_feas.o op_a.o op_at.o  Fnorm.o calc_pobj.o calc_dobj.o trace_prod.o zero_mat.o mat_mult.o sym_mat.o copy_mat.o addscaledmat.o  user_exit.o make_i.o allocmat.o initsoln.o initparams.o add_mat.o writesol.o readsol.o easysdp.o writeprob.o solvesys.o makefill.o mat_multsp.o norms.o linesearch.o matvec.o chol.o qreig.o tweakgap.o freeprob.o packed.o sortentries.o
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0/lib'
- cd solver; make csdp
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0/solver'
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o csdp.o csdp.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include csdp.o -L../lib -lsdp -llapack -lopenblas -lm -o csdp
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0/solver'
- cd theta; make all
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0/theta'
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o theta.o theta.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include theta.o -L../lib -lsdp -llapack -lopenblas -lm -o theta
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o complement.o complement.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include complement.o -L../lib -lsdp -llapack -lopenblas -lm -o complement
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o rand_graph.o rand_graph.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include rand_graph.o -L../lib -lsdp -llapack -lopenblas -lm -o rand_graph
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o graphtoprob.o graphtoprob.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include graphtoprob.o -L../lib -lsdp -llapack -lopenblas -lm -o graphtoprob
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0/theta'
- cd example; make all
- make[1]: Entering directory '/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0/example'
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include   -c -o example.o example.c
- cc -march=native -mtune=native -Ofast -fopenmp -ansi -Wall -DBIT64 -DUSEOPENMP -DSETNUMTHREADS -DUSESIGTERM -DUSEGETTIME -I../include example.o -L../lib -lsdp -llapack -lopenblas -lm -o example
- make[1]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/csdp.6.2.0/example'
-> compiled  csdp.6.2.0
-> installed csdp.6.2.0
[WARNING] Opam package conf-openblas.0.2.3 depends on the following system packages that can no longer be found: liblapacke-dev libopenblas-dev

=== STDERR ===

2026-06-16 11:30.55: OK: build csdp.6.2.0 (runc: 13.1s, disk: 17KB)
2026-06-16 11:30.55: Job succeeded