Closed djs55 closed 2 years ago
Any update?
@djs55 are you still working on this?
I've not got the time at the moment :( Feel free to have a play with it if you want!
CircleCI is working with opam2 but Appveyor is still broken due to a cygwin problem. I think we need to upgrade many of the dependencies and try to remove the remaining (build-time) uses of cygwin. Maybe we can switch to a vendored model via opam monorepo to simplify the build even further (perhaps we can have git clone; dune build
)
opam2 is working and merged, I'll close this PR.
The Linux
Dockerfile
already works withopam2
, which is a good start.opam
1.2 pin from CircleCI