For the CI managers: Coq Platform Windows CI is broken since last night cause sourceforge (from where we download NSIS) changed its download URLs. A fix is on the way.
Which reminds me that one day we wanted to have an INRIA file sever for all the files we need for CI ...
I fixed it on 2021.02 branch and merged it over to the dev-ci branch, so it should work again.
@Emilio Jesús Gallego Arias @Théo Zimmermann : the new download location of NSIS from sourceforge is not terribly reliable (it failed in one of my daily CI runs despite 20 retires). Can we please have some INRIA file server, where we host such files - I would host Cygwin there as well then. As discussed it would be desirable to switch Cygwin only at certain intervals and just keep ony daily build with latest cygwin to tay informed.
If these are just tarballs that need to be stored, a quicker way to set things up would be to use a dedicated GitHub repository with tarballs attached to releases. We could even automate the update process by creating new releases e.g. every week, with a GitHub Action.
@Théo Zimmermann : I am not so sure if this would work nicely - for cygwin it would be a few 100 tarballs, but of course one could make a tarball of tarballs ...
FYI: cygwin is about 1GB and 1000 files (but this includes some history - I just lookd at my local cache folder)
OK, then a dedicated server is probably better. I have no idea how this can be set up though.
Maybe @Maxime Dénès has an idea?
Should we use your GitHub idea in the meanwhile? Maybe call it coq/prerequisites?
For NSIS this would work nicely.
Yes, we can do that and use it only for the pieces where it is reasonable.
I can create the repo and make you an admin if you want to go ahead.
@Théo Zimmermann : yes, please go ahead.
So the git part of the repo just contains a readme file and we put the files into releases - possibly named after Coq Platform releases?
Yes. BTW, this could be used to enhance reproducibility as users would not necessarily get the latest version of the dependencies which are not pinned to a particular version but would be ensured to get one that works.
Perfect, thanks - I will try it with NSIS right away
PR CI is running ...
Suggestions on what else should go there are welcome.
Your comment on reproducability mostly concerns opam and cygwin. All the rest (NSIS for that matter) uses fixed versions. I will double check how large cygwin really is - if it is 500MB, it might be feasible to host it that way as well.
We can add more when we feel the need. For instance, in the past, the source location of ocamlfind was frequently unreliable.
Last updated: Feb 02 2023 at 13:03 UTC