From 40fc942edf9ed8fd9c059862a31365741641dd63 Mon Sep 17 00:00:00 2001 From: "Achim D. Brucker" Date: Fri, 16 Aug 2019 08:59:01 +0100 Subject: [PATCH] Testing curl for obtaining latest AFP archive name (avoids use of w3m and awk). --- isabelle/hooks/build | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/isabelle/hooks/build b/isabelle/hooks/build index 5c60701..aea968a 100755 --- a/isabelle/hooks/build +++ b/isabelle/hooks/build @@ -31,10 +31,11 @@ set -e ISA_URL="https://isabelle.in.tum.de/website-Isabelle"$VERSION"/dist/Isabelle"$VERSION"_linux.tar.gz" if [ "$LATEST" -eq "$VERSION" ]; then AFP_URL="https://www.isa-afp.org/release/" - AFP_TAR=`w3m -dump $AFP_URL | grep "afp-[0-9]" | awk -e '{print $3}' | sort -r | head -1` + AFP_TAR=`curl -s $AFP_URL | grep "afp-[0-9]" | sed -e 's|^.*href="\(.*\)">.*$|\1|;s|".*$||' | sort -r | head -1` + else - AFP_URL="https://sourceforge.net/projects/afp/files/afp-Isabelle$VERSION/" - AFP_TAR=`w3m -dump $AFP_URL | grep ^afp- | head -1 | awk -e '{print $1}'` + 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].* (.*\(afp-.*\) (.*$|\1|' | sort -r | head -1` fi for url in $ISA_URL $AFP_URL/$AFP_TAR; do