OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo
https://alt-ergo.ocamlpro.com/
Other
130 stars 33 forks source link

Prevent from adding dependencies of OCaml 5 in the lock file #1076

Closed Halbaroth closed 5 months ago

Halbaroth commented 5 months ago

If you run make lock with an opam switch using OCaml 5, you got two new packages in the lock files: base-domains and base-nnp. Not surprisingly, the former requires OCaml 5. The latter is an optional dependency for OCaml 4 so I prevent from adding it too in the lock file.