Build:
- 0
2026-10-06 18:41.52: New job: build osdp.1.1.1 (73929c0b35f7) 2026-10-06 18:41.52: Waiting for resource in pool day11-builds 2026-10-06 18:46.11: Got resource from pool day11-builds 2026-10-06 18:46.11: [profile oxcaml-odoc-master] build osdp.1.1.1 2026-10-06 18:46.11: build osdp.1.1.1 (73929c0b35f7) === DEPENDENCIES (45 transitive) === base-bytes.base a69faf0964a2 base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 basement.v0.18~preview.130.106+341 9841cadec557 cmdliner.2.1.1 5ab261dc5b2f conf-autoconf.1 8ee1e3913008 conf-csdp.1 87c7d9ebb1fa conf-gmp.5 c2adbec9a470 conf-which.1 65c43ca119c3 cppo.1.8.0 e36952505440 csexp.1.5.2 3194ba1b6774 dune.3.22.2+ox 9158bd0e098d dune-configurator.3.22.2+ox b9a3eeb73695 fmt.0.11.0 0d6fb032e96a gen.1.1 d3166c37603b js_of_ocaml-compiler.6.3.2+ox c2a30e29b9a3 logs.0.10.0 c7b00d34ff6d lwt.6.0.0+ox c0ebf444a955 lwt_runtime_events.6.0.0+ox 578b04c24c9e menhir.20250912 9f78bd497ab6 menhirCST.20250912 acad386e7593 menhirLib.20250912 ee7753d6f786 menhirSdk.20250912 27edb5726e25 num.1.6 e1118115ba69 ocaml.5.2.0 879ae859f814 ocaml-compiler-libs.v0.17.0+ox 598bb8a6526c ocaml-config.3 37112a8040f8 ocaml-variants.5.2.0+ox 8119d9341417 ocamlbuild.0.16.1+ox c3cff747c7d3 ocamlfind.1.9.8+ox 665ae3389aa8 ocplib-endian.1.2 269225f0b5b5 ocplib-simplex.0.5 066db82c915f oxcaml-compiler.5.2.0minus39 72925b65bf23 ppx_derivers.1.2.1 ce8a3d704727 ppxlib.0.33.0+ox2 8c73c0c4d8b8 ppxlib_ast.0.33.0+ox2 5b27258ee8c8 ppxlib_jane.v0.18~preview.130.106+341 80aa18179975 sedlex.3.7+ox bf83d6b0bb1c seq.base 4e4fc87282b8 sexp_type.v0.18~preview.130.106+341 d7b92c288522 sexplib0.v0.18~preview.130.106+341 48e488b6840d stdlib-shims.0.3.0 dad692a03c41 topkg.1.1.1+ox 1a471d9bef47 yojson.2.2.2+ox 3d81eae8c626 zarith.1.12+ox3 917487f93f0e === 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-06 18:46.43: FAILED: build osdp.1.1.1 2026-10-06 18:46.43: Job failed: build failed: osdp.1.1.1