Build:
- 0
2026-06-20 17:16.40: New job: build osdp.1.1.1 (32f18c3e6709) 2026-06-20 17:16.40: Waiting for resource in pool day11-builds 2026-06-20 18:47.34: Got resource from pool day11-builds 2026-06-20 18:47.34: [profile full] build osdp.1.1.1 2026-06-20 18:47.34: build osdp.1.1.1 (32f18c3e6709) === DEPENDENCIES (17 transitive) === base-threads.base b7164ff76afe base-unix.base 839dc585f12d compiler-cloning.enabled 0d2606125f88 conf-csdp.1 a8574b1ee68e conf-gmp.5 61e3c79e0ddf conf-pkg-config.5 64c6b37d622b dune.3.23.1 dbfeecb5ca10 logs.0.10.0 7dbd75f5427f num.1.6 94f72f650e98 ocaml.5.5.0 1b4132bddf48 ocaml-base-compiler.5.5.0 1901c3a760c1 ocaml-compiler.5.5.0 5f593a0b4a8c ocamlbuild.0.16.1 b485a4f69c01 ocamlfind.1.9.8 5b46f9d92bbd ocplib-simplex.0.5 eff3fd501160 topkg.1.1.1 8e3718e4cf5c zarith.1.14 f91322a5735e === 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 -> 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-20 18:47.54: OK: build osdp.1.1.1 (runc: 11.2s, disk: 8KB) 2026-06-20 18:47.54: Job succeeded