Build:
- 0
2026-10-07 22:13.40: New job: build osdp.1.1.1 (34f22f31ed1b) 2026-10-07 22:13.40: Waiting for resource in pool day11-builds 2026-10-07 22:18.24: Got resource from pool day11-builds 2026-10-07 22:18.24: [profile oxcaml-odoc-master] build osdp.1.1.1 2026-10-07 22:18.24: build osdp.1.1.1 (34f22f31ed1b) === DEPENDENCIES (45 transitive) === base-bytes.base 7df71eb7b73c base-threads.base 464810371b96 base-unix.base 4596d20d2cf7 basement.v0.18~preview.130.106+341 8604678cfbc7 cmdliner.2.1.1 9a9ee733e69a conf-autoconf.1 8ee1e3913008 conf-csdp.1 87c7d9ebb1fa conf-gmp.5 c2adbec9a470 conf-which.1 65c43ca119c3 cppo.1.8.0 bb6931612f24 csexp.1.5.2 4dac08a488e7 dune.3.22.2+ox a601158acc62 dune-configurator.3.22.2+ox cc2e07190f84 fmt.0.11.0 5fd142b378b2 gen.1.1 8eabb03ecf2d js_of_ocaml-compiler.6.3.2+ox 8eb73e5f5480 logs.0.10.0 db4fac0a585a lwt.6.0.0+ox 32a077c0ed3e lwt_runtime_events.6.0.0+ox 7e24ac38da3b menhir.20250912 41dab417aed9 menhirCST.20250912 e7b0a46b7a0c menhirLib.20250912 183a20ec50f2 menhirSdk.20250912 c4c7e0750186 num.1.6 7a36ed3a3fba ocaml.5.2.0 b8c350f4f1ad ocaml-compiler-libs.v0.17.0+ox 97d1a68258b8 ocaml-config.3 2c72b422dfc3 ocaml-variants.5.2.0+ox 60cb73ac7801 ocamlbuild.0.16.1+ox de5a5462a208 ocamlfind.1.9.8+ox 70bd5761d4de ocplib-endian.1.2 0941eb2ddaa5 ocplib-simplex.0.5 ea140c941186 oxcaml-compiler.5.2.0minus39 c47b62237187 ppx_derivers.1.2.1 c1e05b615770 ppxlib.0.33.0+ox2 ef722ad5d5dd ppxlib_ast.0.33.0+ox2 5b4eb2b67c22 ppxlib_jane.v0.18~preview.130.106+341 1e31a89a4747 sedlex.3.7+ox 84a9d2c5c596 seq.base cb5ff207fd47 sexp_type.v0.18~preview.130.106+341 3ddf0ba1a078 sexplib0.v0.18~preview.130.106+341 3c1103d71fd3 stdlib-shims.0.3.0 d2e8875350ba topkg.1.1.1+ox 76d82ba7f921 yojson.2.2.2+ox 4a52aa591560 zarith.1.12+ox3 306ab9da56c7 === 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__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/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/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-07 22:18.45: FAILED: build osdp.1.1.1 2026-10-07 22:18.45: Job failed: build failed: osdp.1.1.1