lh-docker
/
lh-docker-isabelle
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix for Isabelle 2021.

This commit is contained in:
Achim D. Brucker 2022-10-30 20:42:23 +00:00
parent aaad4fb482
commit cde06430a7
1 changed files with 11 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
isabelle/hooks/build
View File

@ -43,11 +43,17 @@ if [ "$LATEST" == "$VERSION" ]; then
AFP_TAR=`curl -s $AFP_URL | grep "afp-[0-9]" | sed -e 's|^.*href="\(.*\)">.*$|\1|;s|".*$||' | sort -r | head -1`
else
# URL for determining name of archive:
AFP_URL="https://sourceforge.net/projects/afp/files/afp-Isabelle$VERSION/"
AFP_TAR=`curl -L -s $AFP_URL | grep "afp-[0-9].*[a-z]</span" | sed -e 's|^.*>\(afp-.*\)</s.*$|\1|' | sort -r | head -1`
# URL for direct download
AFP_URL="https://downloads.sourceforge.net/project/afp/afp-Isabelle$VERSION"
if [ "2021" == "$VERSION" ]; then
# special case, as AFP for Isabelle 2021 is not tagged on sourceforge.net
AFP_TAR="afp-2021-11-26.tar.gz"
AFP_URL="https://www.isa-afp.org/release/"
else
# URL for determining name of archive:
AFP_URL="https://sourceforge.net/projects/afp/files/afp-Isabelle$VERSION/"
AFP_TAR=`curl -L -s $AFP_URL | grep "afp-[0-9].*[a-z]</span" | sed -e 's|^.*>\(afp-.*\)</s.*$|\1|' | sort -r | head -1`
# URL for direct download
AFP_URL="https://downloads.sourceforge.net/project/afp/afp-Isabelle$VERSION"
fi
fi
for url in $ISA_URL $AFP_URL/$AFP_TAR; do