Build:
- 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