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

Fixed Sourceforce URL.
lh-docker/lh-docker-isabelle/master There was a failure building this commit Details

This commit is contained in:
Achim D. Brucker 2019-08-16 14:04:25 +01:00
parent 40fc942edf
commit 13553ff8aa
1 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
isabelle/hooks/build
View File

@ -29,13 +29,16 @@ set -e
# Generate Isabelle image
ISA_URL="https://isabelle.in.tum.de/website-Isabelle"$VERSION"/dist/Isabelle"$VERSION"_linux.tar.gz"
if [ "$LATEST" -eq "$VERSION" ]; then
if [ "$LATEST" == "$VERSION" ]; then
AFP_URL="https://www.isa-afp.org/release/"
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 https://sourceforge.net/projects/afp/files/afp-Isabelle2018 | grep "afp-[0-9].* (.*</span" | sed -e 's|^.*>\(afp-.*\) (.*$|\1|' | sort -r | head -1`
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
for url in $ISA_URL $AFP_URL/$AFP_TAR; do
@ -47,7 +50,7 @@ for url in $ISA_URL $AFP_URL/$AFP_TAR; do
fi
done
docker build -t logicalhacking/isabelle$VERSION isabelle \
docker build -t logicalhacking/isabelle$VERSION . \
--build-arg uid="$DOCKERUID" \
--build-arg sessions="$SESSIONS" \
--build-arg isabelle="$ISA_URL" \