From 4e47c388606c50163f3c1de8651571d95b9ea942 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Mon, 31 Oct 2022 19:20:34 +0000
Subject: [PATCH] Declared installation script as deprecated.

---
 README.md   | 17 ++---------------
 install-afp | 23 ++++++++++++++++++++++-
 2 files changed, 24 insertions(+), 16 deletions(-)

diff --git a/README.md b/README.md
index 336f908..207dc85 100644
--- a/README.md
+++ b/README.md
@@ -14,22 +14,9 @@ Isabelle/DOF has three major prerequisites:
   system from the [Isabelle
   website](http://isabelle.in.tum.de/website-Isabelle2022/).
 * **AFP:** Isabelle/DOF requires two entries from the [Archive of
-  Formal Proofs (AFP)](https://www.isa-afp.org/). Please install the
+  Formal Proofs (AFP)](https://www.isa-afp.org/).  Please install the
   AFP following the instructions given at
-  <https://www.isa-afp.org/using.html>. For your convenience, we also
-  provide a script that only installs the two entries required by
-  Isabelle/DOF into the local Isabelle/DOF directory. First, Isabelle/DOF
-  needs to be registered as an Isabelle component:
-  
-  ```console
-  foo@bar:~$ isabelle components -u `pwd`
-  ```  
-
-  Thereafter, the AFP entries can be installed as follows:
-  
-  ```console
-  foo@bar:~$ isabelle env ./install-afp
-  ```  
+  <https://www.isa-afp.org/using.html>. 
 
 * **LaTeX:** Isabelle/DOF requires a modern LaTeX installation, i.e., at least
   [TeX Live 2022](https://www.tug.org/texlive/) with all available updates applied.
diff --git a/install-afp b/install-afp
index ff199a2..6945838 100755
--- a/install-afp
+++ b/install-afp
@@ -35,6 +35,8 @@ print_help()
 {
     echo "Usage: isabelle env ./install-afp [OPTION] "
     echo ""
+    echo "Warning: This tools is deprecated."
+    echo ""
     echo "Run ..."
     echo ""
     echo "  --help, -h                display this help message"
@@ -44,11 +46,29 @@ print_help()
 
 exit_error() {
     echo ""
-    echo "  *** Isabelle/DOF installation FAILED, please check the README.md for help ***"
+    echo "  *** Local AFP installation FAILED, please check the README.md for help ***"
     echo ""
     exit 1
 }
 
+confirm_usage() {
+    echo "* From Isabelle2021-1 on, the recommended method for making the whole AFP "
+    echo "  available to Isabelle is the isabelle components -u command."
+    echo "  For doing so, please follow the instructions at: "
+    echo "  https://www.isa-afp.org/help/"
+    echo ""
+    echo "  Alternatively, you can continue, on your own risk, to install only"
+    echo "  the AFP entries required to run Isabelle/DOF."
+    echo ""
+    read -p "    Still continue (y/N)? " -n 1 -r
+    echo 
+    if [[ $REPLY =~ ^[Yy]$ ]];
+    then 
+        echo "    Continuing installation on your OWN risk."
+    else
+        exit_error
+    fi
+}
 check_isabelle_version() {
     echo "* Checking Isabelle version:"
     if [ "$ISABELLE_VERSION" != "$ACTUAL_ISABELLE_VERSION" ]; then
@@ -149,6 +169,7 @@ AFP_URL="https://www.isa-afp.org/release/"$AFP_DATE".tar.gz"
 echo ""
 echo "Isabelle/DOF AFP Installation Utility"
 echo "====================================="
+confirm_usage
 check_isabelle_version
 check_afp_entries
 echo "* AFP Installation successful."