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

Add date argument to invalidate cache.

This commit is contained in:
Achim D. Brucker 2023-05-07 15:41:13 +01:00
parent 6daeb20397
commit b55a4de7f1
2 changed files with 5 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build.sh
View File

@ -35,7 +35,7 @@ export VERSION SESSIONS CONTAINER DOCKERUID LATEST
$CONTAINER build -t logicalhacking/debian4isabelle debian4isabelle $CONTAINER build -t logicalhacking/debian4isabelle debian4isabelle
if [[ "$VERSION" == "nightly" ]]; then if [[ "$VERSION" == "nightly" ]]; then
$CONTAINER build --build-arg uid="$DOCKERUID" --build-arg sessions="$SESSIONS" -t logicalhacking/isabelle_nightly isabelle_nightly $CONTAINER build --build-arg uid="$DOCKERUID" --build-arg date=`date --iso --utc` --build-arg sessions="$SESSIONS" -t logicalhacking/isabelle_nightly isabelle_nightly
else else
# Generate Isabelle image(s) # Generate Isabelle image(s)
export IMAGE_NAME=logicalhacking/isabelle$VERSION export IMAGE_NAME=logicalhacking/isabelle$VERSION

7
isabelle_nightly/Dockerfile
View File

@ -26,21 +26,22 @@
FROM logicalhacking/debian4isabelle FROM logicalhacking/debian4isabelle
ARG isabelle ARG date
ARG afp
ARG sessions ARG sessions
ARG uid ARG uid
LABEL isabelle.url="https://isabelle.sketis.net/repos/isabelle/" LABEL isabelle.url="https://isabelle.sketis.net/repos/isabelle/"
LABEL isabelle.afp.url="https://foss.heptapod.net/isa-afp/afp-devel/" LABEL isabelle.afp.url="https://foss.heptapod.net/isa-afp/afp-devel/"
LABEL isabelle.sessions="$sessions" LABEL isabelle.sessions="$sessions"
LABEL isabelle.date="$date"
# Install Isabelle and corresponding AFP # Install Isabelle and corresponding AFP
USER root USER root
WORKDIR /root WORKDIR /root
ENV HOME=/root ENV HOME=/root
RUN hg clone https://isabelle.sketis.net/repos/isabelle/ && \ RUN echo "$date" > $HOME/.date && \
hg clone https://isabelle.sketis.net/repos/isabelle/ && \
isabelle/Admin/init && \ isabelle/Admin/init && \
perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="/root/.isabelle",g;' isabelle/etc/settings && \ perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="/root/.isabelle",g;' isabelle/etc/settings && \
# Install AFP # Install AFP