2026-06-16 14:32.43: New job: build osdp.1.1.1 (69ad235ec961)
2026-06-16 14:32.43: Waiting for resource in pool day11-builds
2026-06-16 16:16.12: Got resource from pool day11-builds
2026-06-16 16:16.12: [profile full] build osdp.1.1.1
2026-06-16 16:16.12: build osdp.1.1.1 (69ad235ec961)
=== DEPENDENCIES (17 transitive) ===
  base-threads.base                                  b7164ff76afe
  base-unix.base                                     839dc585f12d
  conf-csdp.1                                        a8574b1ee68e
  conf-gmp.5                                         61e3c79e0ddf
  conf-pkg-config.5                                  64c6b37d622b
  dune.3.23.1                                        d50060dd2cab
  logs.0.10.0                                        90d980464842
  num.1.6                                            158dee1e5f8c
  ocaml.5.4.1                                        708fed352b2a
  ocaml-base-compiler.5.4.1                          89b85703f841
  ocaml-compiler.5.4.1                               a719b8419b8e
  ocaml-config.3                                     aa27f63940d8
  ocamlbuild.0.16.1                                  069fc1e567af
  ocamlfind.1.9.8                                    5cfa73ef65e7
  ocplib-simplex.0.5                                 d0b3cd421bc1
  topkg.1.1.1                                        4a88955a28b6
  zarith.1.14                                        b2ef7cdb0e39
=== 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.4.1
- 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
-> installed osdp.1.1.1
[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

=== STDERR ===

2026-06-16 16:16.28: OK: build osdp.1.1.1 (runc: 10.2s, disk: 8KB)
2026-06-16 16:16.28: Job succeeded