Build:
  1. 0
2026-06-24 13:54.51: New job: build osdp.1.1.1 (2b43461acd68)
2026-06-24 13:54.51: Waiting for resource in pool day11-builds
2026-06-24 15:54.10: Got resource from pool day11-builds
2026-06-24 15:54.10: [profile full] build osdp.1.1.1
2026-06-24 15:54.10: build osdp.1.1.1 (2b43461acd68)
=== DEPENDENCIES (17 transitive) ===
  base-threads.base                                  c9e7bdbf5823
  base-unix.base                                     7d1428be9ddb
  compiler-cloning.enabled                           439a1fc77aa6
  conf-csdp.1                                        61c0b30b161e
  conf-gmp.5                                         be11edf77089
  conf-pkg-config.5                                  d5de2c6a88f9
  dune.3.23.1                                        a59dd9b14fe3
  logs.0.10.0                                        8c102ece790d
  num.1.6                                            efd5a307a10f
  ocaml.5.5.0                                        383268832c4b
  ocaml-base-compiler.5.5.0                          522c248944c8
  ocaml-compiler.5.5.0                               eb1a8babf54c
  ocamlbuild.0.16.1                                  e57f00093c6a
  ocamlfind.1.9.8                                    b506a15fcd6c
  ocplib-simplex.0.5                                 7c2833dc6484
  topkg.1.1.1                                        ac206dbbd2b6
  zarith.1.14                                        c48bd7ff5430
=== STDOUT ===
Processing: [default: loading data]
[osdp.1.1.1: dl]
[osdp.1.1.1: extract]
-> retrieved osdp.1.1.1  (https://opam.ocaml.org/cache)
[osdp: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/osdp.1.1.1/./configure  (CWD=/home/opam/.opam/default/.opam-switch/build/osdp.1.1.1)
- checking for ocamlc... ocamlc
- checking OCaml version... 5.5.0
- checking for ocamlopt... ocamlopt
- checking for ocamlfind... ocamlfind
- checking for ocamllex... ocamllex
- checking for ocamlyacc... ocamlyacc
- checking for CSDP... /usr/bin/csdp
- checking for SDPA... no
- checking for SDPA-GMP... no
- checking for SDPA-DD... no
- checking for MOSEK headers... no
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables... 
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether the compiler supports GNU C... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to enable C11 features... none needed
- checking for stdio.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for strings.h... yes
- checking for sys/stat.h... 
- yes
- checking for sys/types.h... yes
- checking for unistd.h... yes
- checking for math.h... yes
- checking for fenv.h... yes
- checking for fesetround in -lm... yes
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating opam
- config.status: creating src/config.h
- config.status: creating src/csdp_path.ml
- config.status: creating src/sdpa_paths.ml
- config.status: creating src/sdp_default.ml
- 
- *** Configuration for OSDP 1.1.1:
- 
-   Compiled with CSDP ......... : yes
-     CSDP_PATH ................ : /usr/bin/csdp
-   Compiled with MOSEK ........ : no
-   Compiled with SDPA ......... : no
-   Compiled with SDPA-GMP ..... : no
-   Compiled with SDPA-DD ...... : no
-   Default solver ............. : Csdp
- 
-   Now type 'make' to build  
-   then 'make install' to install.
- 
[osdp: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/default/.opam-switch/build/osdp.1.1.1)
- dune build -p osdp @install
-> compiled  osdp.1.1.1
[osdp: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.opam-switch/build/osdp.1.1.1)
- dune install osdp
[WARNING] Opam packages conf-gmp.5 and conf-pkg-config.5 depend on the following system packages that are no longer installed: libgmp-dev pkg-config
  - conf-gmp.5: depends on libgmp-dev
  - conf-pkg-config.5: depends on pkg-config
-> installed osdp.1.1.1

=== STDERR ===

2026-06-24 15:54.38: OK: build osdp.1.1.1 (runc: 9.6s, disk: 9KB)
2026-06-24 15:54.38: Job succeeded