Build:
- 0
2026-09-03 20:23.06: New job: build osdp.1.1.1 (e1a2b2fd4f84) 2026-09-03 20:23.06: Waiting for resource in pool day11-builds 2026-09-03 22:16.05: Got resource from pool day11-builds 2026-09-03 22:16.05: [profile full] build osdp.1.1.1 2026-09-03 22:16.05: build osdp.1.1.1 (e1a2b2fd4f84) === 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 ec704e062ad3 logs.0.10.0 3053f8895f99 num.1.6 805d35561ae4 ocaml.5.5.0 22ebd7932512 ocaml-base-compiler.5.5.0 db1659234e8a ocaml-compiler.5.5.0 7f52fb26d939 ocamlbuild.0.16.1 ccce18256717 ocamlfind.1.9.9~preview 6a4c70487cf9 ocplib-simplex.0.5 fe91cfb7426d topkg.1.1.1 3bd227743fbd zarith.1.14 bd527d6656b5 === 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-09-03 22:16.23: OK: build osdp.1.1.1 (runc: 13.2s, disk: 9KB) 2026-09-03 22:16.23: Job succeeded