get sources from cernlib page

make_cernlib

@@ -48,12 +48,27 @@ if [ -d build ]; then
 fi
 mkdir build
 cd build
-pwd
-ls -l
-git clone https://:@gitlab.cern.ch:8443/dphep/cernlib/cernlib.git
-cd cernlib
-git checkout tags/cernlib-$version
 
+# try to get it from
+# version is in format 2025.03.07.0-free
+# https://cernlib.web.cern.ch/download/2025_source/tar/cernlib-cernlib-2025.02.25.0-free.tar.gz
+
+# get the year
+year=`echo $version | cut -d\. -f1`
+fname="cernlib-cernlib-${version}"
+url="https://cernlib.web.cern.ch/download/${year}_source/tar/${fname}.zip"
+wget $url >/dev/null 2>&1
+res=$?
+if [ $res -eq 0 ]; then
+    unzip $fname.zip
+    mv $fname cernlib
+    cd cernlib
+else
+    echo "Could not download the sources, so trying to get them from gitlab.cern.ch"
+    git clone https://:@gitlab.cern.ch:8443/dphep/cernlib/cernlib.git
+    cd cernlib
+    git checkout tags/cernlib-$version
+fi
 # select 2022 extensions
 echo '#define CERNLIB_2022 yes' >> config/host.def
 rc=0