2026-09-04 16:57.46: New job: build osdp.1.1.1 (98d661361249)
2026-09-04 16:57.46: Waiting for resource in pool day11-builds
2026-09-04 18:13.35: Got resource from pool day11-builds
2026-09-04 18:13.35: [profile full] build osdp.1.1.1
2026-09-04 18:13.35: build osdp.1.1.1 (98d661361249)
=== DEPENDENCIES (17 transitive) ===
  base-threads.base                                  3d2f2cbc6db2
  base-unix.base                                     3a38ddca6b5e
  compiler-cloning.enabled                           966a2e6839f0
  conf-csdp.1                                        9090b6309f8d
  conf-gmp.5                                         eac5259e412f
  conf-pkg-config.5                                  74f50f3cfe72
  dune.3.24.2                                        25fbaa318de6
  logs.0.10.0                                        d885a2edb417
  num.1.6                                            244eeeb7f1b4
  ocaml.5.5.1                                        70ca0c66e0e8
  ocaml-base-compiler.5.5.1                          59841d7ed85e
  ocaml-compiler.5.5.1                               492c0c740bd1
  ocamlbuild.0.16.1                                  e25cf731aeb5
  ocamlfind.1.9.9~preview                            5e0261154b58
  ocplib-simplex.0.5                                 cf5a6ec0836b
  topkg.1.1.1                                        2919b4412ec4
  zarith.1.14                                        345688a9ddb6
=== 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.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-09-04 18:13.49: OK: build osdp.1.1.1 (runc: 9.6s, disk: 9KB)
2026-09-04 18:13.49: Job succeeded