search

easybuilders / easybuild-easyconfigs

A collection of easyconfig files that describe which software to build using which build options with EasyBuild.
https://easybuild.io
GNU General Public License v2.0
357 stars 685 forks source link

gforge.inria.fr has shut down #14098

Open Micket opened 2 years ago

Micket commented 2 years ago

We missed this announcement https://giters.com/coq/opam-coq-archive/issues/1298?amp=1 has shut down.

We have a bunch of affected easyconfigs, namely

branfosj commented 2 years ago

They've now got a GitLab instance: https://gitlab.inria.fr/

So, the following have the more recent releases:

However, I've not found ISL.

boegel commented 2 years ago

I've uploaded all ISL source tarballs I can find to https://sources.easybuild.io/i/ISL (license is MIT, so no issue)

edit: and now also symlinked https://sources.easybuild.io/g/GCCcore and https://sources.easybuild.io/g/GCC to that same directory

Micket commented 2 years ago

https://groups.google.com/g/isl-development/c/JGaMo2VUu_8 ISL Developer is aware and looking for options best fits their workflow.

boegel commented 2 years ago

SCOTCH source tarballs now also available via https://sources.easybuild.io/s/SCOTCH (CeCILL-C V1 license)

branfosj commented 2 years ago

All the others are (probably) CeCILL-C: https://gitlab.inria.fr/solverstack/hips/-/blob/master/DOC/CeCILL-C_V1-en.txt

HIPS and SCOTCH have had that license since 2012

PastiX had that in the version we have in EB. They have recently moved to LGPL.

branfosj commented 2 years ago

For SCOTCH 6.1.0 - comparing my existing scotch_6.1.0.tar.gz with scotch-v6.1.0.tar.gz:

$ diff -r scotch-v6.1.0 scotch_6.1.0
Only in scotch_6.1.0: bin
Only in scotch_6.1.0/doc/src/ptscotch: p.ps
Only in scotch-v6.1.0: .gitignore
Only in scotch-v6.1.0: .gitlab-ci.yml
Only in scotch_6.1.0: include
Only in scotch_6.1.0: lib

The include, lib, and bin directories in the diff are empty.

boegel commented 2 years ago

Also covered HIPS (https://sources.easybuild.io/h/HIPS/) and PaStiX (https://sources.easybuild.io/p/PaStiX/).

Other than #14099 for SCOTCH, any other action to take? Should we clean up all gforge.inria.fr URLs everywhere? There's little point in keeping those around...

Micket commented 2 years ago

We can update homepages, even if they don't have any releases tagged