Closed msprotz closed 5 years ago
This is potentially tricky following discussions with OPAM-Windows folks in Cambridge
Sorry for barging in here, but I just found this through a web search being interested in doing something similar for another project. Could you elaborate a bit on why this could be tricky? (I.e. is this something to do with OPAM or Project Everest in particular, or the steps before that?)
There's no GUI support in windowsservercore so the cygwin setup would probably have to do without cygwin's setup.exe -- afaik there's no way to run in it silent mode (i.e. via CLI). On the other hand, Cygwin doesn't really rely on the registry so we could use a static tarball.
That's all I remember from the discussions...
We now have Everest Windows builds from scratch.
We should make sure the "from scratch" scenario for windows is also tracked by CI. In the same spirit as ubuntu-from-scratch, we should add a new target in the ci script that: