From b55a4de7f124580d4632f5b2442accb7c720b907 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Sun, 7 May 2023 15:41:13 +0100
Subject: [PATCH] Add date argument to invalidate cache.

---
 build.sh                    | 2 +-
 isabelle_nightly/Dockerfile | 7 ++++---
 2 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/build.sh b/build.sh
index 4689cab..d3724ef 100755
--- a/build.sh
+++ b/build.sh
@@ -35,7 +35,7 @@ export VERSION SESSIONS CONTAINER DOCKERUID LATEST
 $CONTAINER build -t logicalhacking/debian4isabelle debian4isabelle
 
 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 
   # Generate Isabelle image(s)
   export IMAGE_NAME=logicalhacking/isabelle$VERSION
diff --git a/isabelle_nightly/Dockerfile b/isabelle_nightly/Dockerfile
index ee77922..57f5b57 100644
--- a/isabelle_nightly/Dockerfile
+++ b/isabelle_nightly/Dockerfile
@@ -26,21 +26,22 @@
 
 FROM logicalhacking/debian4isabelle
 
-ARG isabelle
-ARG afp
+ARG date
 ARG sessions
 ARG uid
 
 LABEL isabelle.url="https://isabelle.sketis.net/repos/isabelle/"
 LABEL isabelle.afp.url="https://foss.heptapod.net/isa-afp/afp-devel/"
 LABEL isabelle.sessions="$sessions"
+LABEL isabelle.date="$date"
 
 
 # Install Isabelle and corresponding AFP
 USER root
 WORKDIR /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 && \
     perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="/root/.isabelle",g;' isabelle/etc/settings && \
     # Install AFP