Build:
- 0
2026-10-02 00:09.31: New job: build osdp.1.1.1 (d96a71a85c80) 2026-10-02 00:09.31: Waiting for resource in pool day11-builds 2026-10-02 00:14.36: Got resource from pool day11-builds 2026-10-02 00:14.36: [profile oxcaml-odoc-master] build osdp.1.1.1 2026-10-02 00:14.36: build osdp.1.1.1 (d96a71a85c80) === DEPENDENCIES (45 transitive) === base-bytes.base 9b400b95a77c base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 basement.v0.18~preview.130.106+341 974f1514a067 cmdliner.2.1.1 5c5497d03dde conf-autoconf.1 43fe4a407b7a conf-csdp.1 76c3075ce8cf conf-gmp.5 00570d20295f conf-which.1 5fccb3a41099 cppo.1.8.0 6f07bba275e8 csexp.1.5.2 a9d3fd6f82d9 dune.3.22.2+ox a2ef013eeea9 dune-configurator.3.22.2+ox dea98c56dd29 fmt.0.11.0 07f7b1d44c71 gen.1.1 456ddfbc220f js_of_ocaml-compiler.6.3.2+ox 5bb5c188c79e logs.0.10.0 858713536ef3 lwt.6.0.0+ox 0f4f1f846b62 lwt_runtime_events.6.0.0+ox f190bfcd3bd2 menhir.20250912 65f73c656f83 menhirCST.20250912 02622c14e792 menhirLib.20250912 bfcb7a7e20cb menhirSdk.20250912 2af7b20695fa num.1.6 da35670984d3 ocaml.5.2.0 cda6777ccfe3 ocaml-compiler-libs.v0.17.0+ox c80aba262c43 ocaml-config.3 d77b853eaa33 ocaml-variants.5.2.0+ox a9808a9375cd ocamlbuild.0.16.1+ox 63a719bfd385 ocamlfind.1.9.8+ox f23a347b8f5f ocplib-endian.1.2 02986f4fb582 ocplib-simplex.0.5 029e8d5ac0bf oxcaml-compiler.5.2.0minus39 9c94ae342626 ppx_derivers.1.2.1 bfa8af8a2975 ppxlib.0.33.0+ox2 a8c22dcd95e4 ppxlib_ast.0.33.0+ox2 208c0a263aea ppxlib_jane.v0.18~preview.130.106+341 f193b6e88a9a sedlex.3.7+ox a4a18e0155a4 seq.base c7881d2fd08c sexp_type.v0.18~preview.130.106+341 365b308b7069 sexplib0.v0.18~preview.130.106+341 681b43b3334e stdlib-shims.0.3.0 872ba8883981 topkg.1.1.1+ox 12497656aa9b yojson.2.2.2+ox 5e12e0fdc8de zarith.1.12+ox3 f6ec0c6300f3 === 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.2.0+ox - 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 - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -I src/.osdp.objs/byte -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/zarith -cmi-file src/.osdp.objs/byte/osdp__Scalar.cmi -no-alias-deps -open Osdp -o src/.osdp.objs/byte/osdp__Scalar.cmo -c -impl src/scalar.ml) - File "src/scalar.ml", lines 95-111, characters 33-4: - 95 | .................................Make (struct - 96 | type t = Q.t - 97 | let compare = Q.compare - 98 | let zero = Q.zero - 99 | let one = Q.one - ... - 108 | let pp fmt q = - 109 | Format.fprintf fmt "%a/%a" Z.pp_print q.Q.num Z.pp_print q.Q.den - 110 | (* Format.fprintf fmt "\"%a\"/\"%a\"" Z.pp_print q.Q.num Z.pp_print q.Q.den *) - 111 | end) - Error: Modules do not match: - sig - type t = Q.t - val compare : Q.t @ local -> Q.t @ local -> int - val zero : Q.t - val one : Q.t - val of_float : float -> Q.t - val to_float : Q.t -> float - val of_q : 'a -> 'a - val to_q : 'a -> 'a - val add : Q.t -> Q.t -> Q.t - val sub : Q.t -> Q.t -> Q.t - val mult : Q.t -> Q.t -> Q.t - val div : Q.t -> Q.t -> Q.t - val pp : Format.formatter -> Q.t -> unit - end - is not included in M - Values do not match: - val compare : Q.t @ local -> Q.t @ local -> int - is not included in - val compare : t -> t -> int - The type "Q.t @ local -> Q.t @ local -> int" - is not compatible with the type "t -> t -> int" - File "src/scalar.ml", line 23, characters 2-29: Expected declaration - File "src/scalar.ml", line 97, characters 6-13: Actual declaration - (cd _build/default && /home/opam/.opam/default/bin/ocamlc.opt -w -40 -g -bin-annot -bin-annot-occurrences -bin-annot-cms -I src/.osdp.objs/byte -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/zarith -cmi-file src/.osdp.objs/byte/osdp__NewtonPolytope.cmi -no-alias-deps -open Osdp -o src/.osdp.objs/byte/osdp__NewtonPolytope.cmo -c -impl src/newtonPolytope.ml) - File "src/newtonPolytope.ml", line 83, characters 13-54: - 83 | module Sim = OcplibSimplex.Basic.Make (Var) (Rat) (Ex) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Error: This application of the functor "OcplibSimplex.Basic.Make" is ill-typed. - These arguments: - Var Rat Ex - do not match these parameters: - functor (Var : OcplibSimplex.ExtSigs.Variables) - (R : OcplibSimplex.ExtSigs.Rationals) - (Ex : OcplibSimplex.ExtSigs.Explanations) -> ... - 1. Module Var matches the expected module type OcplibSimplex.ExtSigs.Variables - 2. Modules do not match: - Rat : - sig - type t = Q.t - val add : Q.t -> Q.t -> Q.t - val mult : Q.t -> Q.t -> Q.t - val compare : Q.t @ local -> Q.t @ local -> int - val equal : Q.t @ local -> Q.t @ local -> bool - val zero : Q.t - val one : Q.t - val m_one : Q.t - val is_zero : Q.t -> bool - val to_string : Q.t -> string - val print : Format.formatter -> Q.t -> unit - val is_int : 'a -> bool - val div : Q.t -> Q.t -> Q.t - val sub : Q.t -> Q.t -> Q.t - val is_one : Q.t -> bool - val is_m_one : Q.t -> bool - ... - end - is not included in - OcplibSimplex.ExtSigs.Rationals - Values do not match: - val compare : Q.t @ local -> Q.t @ local -> int - is not included in - val compare : t -> t -> int - The type "Q.t @ local -> Q.t @ local -> int" - is not compatible with the type "t -> t -> int" - File "src/extSigs.mli", line 39, characters 2-29: - Expected declaration - File "src/newtonPolytope.ml", line 55, characters 6-13: - Actual declaration - 3. Module Ex matches the expected module type OcplibSimplex.ExtSigs.Explanations - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.osdp.objs/byte -I src/.osdp.objs/native -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/zarith -cmi-file src/.osdp.objs/byte/osdp__Scalar.cmi -no-alias-deps -open Osdp -o src/.osdp.objs/native/osdp__Scalar.cmx -c -impl src/scalar.ml) - File "src/scalar.ml", lines 95-111, characters 33-4: - 95 | .................................Make (struct - 96 | type t = Q.t - 97 | let compare = Q.compare - 98 | let zero = Q.zero - 99 | let one = Q.one - ... - 108 | let pp fmt q = - 109 | Format.fprintf fmt "%a/%a" Z.pp_print q.Q.num Z.pp_print q.Q.den - 110 | (* Format.fprintf fmt "\"%a\"/\"%a\"" Z.pp_print q.Q.num Z.pp_print q.Q.den *) - 111 | end) - Error: Modules do not match: - sig - type t = Q.t - val compare : Q.t @ local -> Q.t @ local -> int - val zero : Q.t - val one : Q.t - val of_float : float -> Q.t - val to_float : Q.t -> float - val of_q : 'a -> 'a - val to_q : 'a -> 'a - val add : Q.t -> Q.t -> Q.t - val sub : Q.t -> Q.t -> Q.t - val mult : Q.t -> Q.t -> Q.t - val div : Q.t -> Q.t -> Q.t - val pp : Format.formatter -> Q.t -> unit - end - is not included in M - Values do not match: - val compare : Q.t @ local -> Q.t @ local -> int - is not included in - val compare : t -> t -> int - The type "Q.t @ local -> Q.t @ local -> int" - is not compatible with the type "t -> t -> int" - File "src/scalar.ml", line 23, characters 2-29: Expected declaration - File "src/scalar.ml", line 97, characters 6-13: Actual declaration - (cd _build/default && /home/opam/.opam/default/bin/ocamlopt.opt -w -40 -g -I src/.osdp.objs/byte -I src/.osdp.objs/native -I /home/opam/.opam/default/lib/logs -I /home/opam/.opam/default/lib/num -I /home/opam/.opam/default/lib/ocaml/unix -I /home/opam/.opam/default/lib/ocplib-simplex -I /home/opam/.opam/default/lib/zarith -cmi-file src/.osdp.objs/byte/osdp__NewtonPolytope.cmi -no-alias-deps -open Osdp -o src/.osdp.objs/native/osdp__NewtonPolytope.cmx -c -impl src/newtonPolytope.ml) - File "src/newtonPolytope.ml", line 83, characters 13-54: - 83 | module Sim = OcplibSimplex.Basic.Make (Var) (Rat) (Ex) - ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ - Error: This application of the functor "OcplibSimplex.Basic.Make" is ill-typed. - These arguments: - Var Rat Ex - do not match these parameters: - functor (Var : OcplibSimplex.ExtSigs.Variables) - (R : OcplibSimplex.ExtSigs.Rationals) - (Ex : OcplibSimplex.ExtSigs.Explanations) -> ... - 1. Module Var matches the expected module type OcplibSimplex.ExtSigs.Variables - 2. Modules do not match: - Rat : - sig - type t = Q.t - val add : Q.t -> Q.t -> Q.t - val mult : Q.t -> Q.t -> Q.t - val compare : Q.t @ local -> Q.t @ local -> int - val equal : Q.t @ local -> Q.t @ local -> bool - val zero : Q.t - val one : Q.t - val m_one : Q.t - val is_zero : Q.t -> bool - val to_string : Q.t -> string - val print : Format.formatter -> Q.t -> unit - val is_int : 'a -> bool - val div : Q.t -> Q.t -> Q.t - val sub : Q.t -> Q.t -> Q.t - val is_one : Q.t -> bool - val is_m_one : Q.t -> bool - ... - end - is not included in - OcplibSimplex.ExtSigs.Rationals - Values do not match: - val compare : Q.t @ local -> Q.t @ local -> int - is not included in - val compare : t -> t -> int - The type "Q.t @ local -> Q.t @ local -> int" - is not compatible with the type "t -> t -> int" - File "src/extSigs.mli", line 39, characters 2-29: - Expected declaration - File "src/newtonPolytope.ml", line 55, characters 6-13: - Actual declaration - 3. Module Ex matches the expected module type OcplibSimplex.ExtSigs.Explanations - make: *** [Makefile:39: osdp] Error 1 [ERROR] The compilation of osdp.1.1.1 failed at "make". build failed... === STDERR === 2026-10-02 00:15.03: FAILED: build osdp.1.1.1 2026-10-02 00:15.03: Job failed: build failed: osdp.1.1.1