opam 2.0.0~beta4 / glpk dependency ?
Closed this issue · 1 comments
The project has been ported to the newer opam 2.0.0~beta4 libraries; however, we still use beta3 within the bundle by default.
beta4 is much more reliable with its built-in solver, but comes with more dependencies, namely, the glpk libraries (libglpk-dev on Debian). At the moment you can generate the bundle with --opam=2.0.0~beta4, but that will induce an unchecked requirement on glpk on the target system.
We could at least add a check, or may try and include glpk within the bundle.
ocaml-mccs now embeds the parts that it needs from glpk, which should resolve this issue. It is just a matter of packing the new ocaml-mccs in opam, for which we need to wait for the newer release of jbuilder (likely 1.0+beta14, including the copy_files directive).
So this should be OK for opam 2.0.0~beta5