installation fails on building sail=0.13

rems-project / rmem

rmem public repo

Other

40 stars 9 forks source link

installation fails on building sail=0.13 #20

Open bensimner opened 1 year ago

bensimner commented 1 year ago

When building rmem from scratch, it pulls sail from our local repos https://github.com/rems-project/opam-repository/tree/opam2/packages/sail

If it pulls sail=0.13 then a problem can happen, because our repo's opam file is underconstrained, and if opam tries to pull omd=2.0, the build will fail.

db7 commented 2 months ago

This is still an issue. It took me a while to actually realize the solution would be so simple (#21). Why not merge the PR?