Build:
- 0
2026-06-19 18:36.02: New job: build osdp.1.1.1 (b80d62ab5b0a) 2026-06-19 18:36.02: Waiting for resource in pool day11-builds 2026-06-19 19:31.23: Got resource from pool day11-builds 2026-06-19 19:31.23: [profile full] build osdp.1.1.1 2026-06-19 19:31.23: build osdp.1.1.1 (b80d62ab5b0a) === DEPENDENCIES (16 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 b9e31df96092 logs.0.10.0 b7a1ca9c1ebc num.1.6 1d184d02a6f2 ocaml.5.5.0 7bdffd2f55d9 ocaml-base-compiler.5.5.0 88ac983b1a28 ocaml-compiler.5.5.0 8d77bbea3746 ocamlbuild.0.16.1 b61d8be21b8c ocamlfind.1.9.8 1872268d1aec ocplib-simplex.0.5 d164242c5e01 topkg.1.1.1 ecfbf436618b zarith.1.14 288b4b675a74 === 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-19 19:31.50: OK: build osdp.1.1.1 (runc: 8.1s, disk: 8KB) 2026-06-19 19:31.50: Job succeeded