search

project-everest / everest

https://project-everest.github.io/
Apache License 2.0
193 stars 29 forks source link

change the OPAM setup on Windows #49

Closed msprotz closed 4 years ago

msprotz commented 7 years ago

i) need to detect old setups (installer for windows, c:\ocamlmgw64) ii) automate fetching and installing Andreas Hauptmann's installer

msprotz commented 6 years ago

ii) has been done by @gugavaro

s-zanella commented 4 years ago

The everest script checks i) https://github.com/project-everest/everest/blob/master/everest#L530