Delete the old MirageOS 3 trick

mirage / digestif

Simple hash algorithms in OCaml

MIT License

87 stars 26 forks source link

Delete the old MirageOS 3 trick #141

Closed dinosaure closed 1 year ago

dinosaure commented 1 year ago

Such trick is to compile digestif with ocaml-solo5 and distribute it for MirageOS 3 then. We need to patch the generated META file from dune to finally install something good for MirageOS 3.

It seems clear that at this date, we don't really need to continue the support of MirageOS. It seems that such trick bothers dune cache and installation on some platform. Let's just remove that.

Fix #136

hannesm commented 1 year ago

we should put a conflict with ocaml-freestanding so that mirageos3 users aren't getting into trouble..