From fe17b87842c348ceb67e28a0afee74ff2d2f4460 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Thu, 8 Nov 2018 16:04:17 +0000
Subject: [PATCH] Added version check.

---
 install | 19 +++++++++++++++++++
 1 file changed, 19 insertions(+)

diff --git a/install b/install
index d83151f..8a61700 100755
--- a/install
+++ b/install
@@ -34,6 +34,25 @@ export `$ISABELLE getenv ISABELLE_TOOLS`
 
 GEN_DIR=document-generator
 
+
+VERSION=`$ISABELLE version`
+if [ "$VERSION" != "Isabelle2017: October 2017" ]; then
+  echo "Warning, the version of Isabelle (i.e., $VERSION) you are using"
+  echo "                    IS NOT SUPPORTED"
+  echo "by the current version of Isabelle/DOF. Please install a supported"
+  echo "version of Isabelle and rerun the install script, providing the"
+  echo "the \"isabelle\" binary as argument."
+  echo 
+  read -p "Still continue (y/N)? " -n 1 -r
+  echo 
+  if [[ $REPLY =~ ^[Yy]$ ]]
+  then 
+      echo "Continuing installation on your OWN risk."
+  else
+      exit 1
+  fi
+fi
+
 if [[ -d "$ISABELLE_HOME_USER/DOF" ]]; then
     echo "Moving old installation to $DIR/settings $ISABELLE_HOME_USER/DOF.bak"
     rm -rf "$ISABELLE_HOME_USER/DOF.bak"