Updated entcs and AFP URLs.
This commit is contained in:
parent
3d7d357302
commit
e609ebcf08
|
@ -42,7 +42,7 @@ RUN apt-get -y update && \
|
|||
apt-get clean && \
|
||||
rm -rf /usr/share/doc
|
||||
|
||||
RUN curl -o /tmp/generic.zip http://www.entcs.org/generic.zip && \
|
||||
RUN curl -o /tmp/generic.zip https://www.entcs.org/generic.zip && \
|
||||
mkdir -p /usr/local/share/texmf/tex/latex/ && \
|
||||
cd /tmp && unzip generic.zip && mv generic /usr/local/share/texmf/tex/latex/entcs && \
|
||||
curl -o /tmp/lipics.tgz https://submission.dagstuhl.de/styles/download-tag/lipics/v2021.1.2/authors/tgz && \
|
||||
|
|
|
@ -51,8 +51,9 @@ RUN curl -L -o "Isabelle.tar.gz" "$isabelle" && \
|
|||
mv afp* afp && \
|
||||
mkdir .isabelle && \
|
||||
echo `pwd`/afp/thys > .isabelle/ROOTS && \
|
||||
perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="\$USER_HOME/.isabelle",g;' Isabelle/etc/settings && \
|
||||
Isabelle/bin/isabelle build -b $sessions \
|
||||
rm -rf /tmp/*
|
||||
perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="/home/isabelle/.isabelle",g;' Isabelle/etc/settings && \
|
||||
Isabelle/bin/isabelle build -j 1 -b $sessions
|
||||
|
||||
ENV PATH="/home/isabelle/Isabelle/bin:${PATH}"
|
||||
ENV HOME="/home/isabelle"
|
||||
USER root
|
||||
|
|
|
@ -40,7 +40,8 @@ fi
|
|||
ISA_URL="https://isabelle.in.tum.de/website-Isabelle"$VERSION"/dist/Isabelle"$VERSION"_linux.tar.gz"
|
||||
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`
|
||||
# AFP_TAR=`curl -s $AFP_URL | grep "afp-[0-9]" | sed -e 's|^.*href="\(.*\)">.*$|\1|;s|".*$||' | sort -r | head -1`
|
||||
AFP_TAR="afp-current.tar.gz"
|
||||
|
||||
else
|
||||
if [ "2021" == "$VERSION" ]; then
|
||||
|
|
Loading…
Reference in New Issue