Build:
- 0
2026-09-28 16:04.26: New job: build osdp.1.1.1 (130f19701bd3) 2026-09-28 16:04.26: Waiting for resource in pool day11-builds 2026-09-28 16:06.20: Got resource from pool day11-builds 2026-09-28 16:06.20: [profile oxcaml-odoc-master] build osdp.1.1.1 2026-09-28 16:06.20: build osdp.1.1.1 (130f19701bd3) === DEPENDENCIES (27 transitive) === base-bytes.base 7b6f7f42210e base-threads.base ddcab511c589 base-unix.base 742554e1dbc2 cmdliner.2.1.1 9f81d96a817a conf-autoconf.1 43fe4a407b7a conf-csdp.1 76c3075ce8cf conf-gmp.5 00570d20295f conf-which.1 5fccb3a41099 cppo.1.8.0 5f5a988d6b64 csexp.1.5.2 ac277789f184 dune.3.22.2+ox 057b1ed5957b dune-configurator.3.22.2+ox 86e12d406fa5 fmt.0.11.0 c76e5df6244f logs.0.10.0 75c2ecf4d3fd lwt.6.0.0+ox 8be48ded929e lwt_runtime_events.6.0.0+ox 44c3fbd43290 num.1.6 30fe11b78f4b ocaml.5.4.0 74a2c67841c6 ocaml-config.3 d58db97ddfef ocaml-variants.5.4.0+ox 4babdc19da91 ocamlbuild.0.16.1+ox 55da2dcae837 ocamlfind.1.9.8+ox 47b14ae6bc12 ocplib-endian.1.2 8ac51da4cc9c ocplib-simplex.0.5 41076e7ea980 oxcaml-compiler.5.4.0-ox7 42053eeff39a topkg.1.1.1+ox 6335c019c657 zarith.1.12+ox3 7530a50bde9e === 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.4.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: - (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: - (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 [ERROR] The compilation of osdp.1.1.1 failed at "make". - make: *** [Makefile:39: osdp] Error 1 build failed... === STDERR === 2026-09-28 16:06.37: FAILED: build osdp.1.1.1 2026-09-28 16:06.37: Job failed: build failed: osdp.1.1.1