From 16bd3b3a94918c9e396c4706a5b10ebbba896689 Mon Sep 17 00:00:00 2001
From: "Achim D. Brucker" <adbrucker@0x5f.org>
Date: Thu, 24 Mar 2022 14:26:53 +0000
Subject: [PATCH] Install AFP entries as components instead of adding them to
 the ROOTS file.

---
 install | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/install b/install
index 01df87a8..428553bc 100755
--- a/install
+++ b/install
@@ -105,9 +105,8 @@ check_afp_entries() {
 	mkdir -p .afp
         if curl -s -L $AFP_URL | tar zxf - -C .afp $extract; then 
             for e in $missing; do 
-                echo "           Registering $e in $ISABELLE_HOME_USER/ROOTS"
-		touch $ISABELLE_HOME_USER/ROOTS
-		grep -q $PWD/.afp/$AFP_DATE/thys/$e $ISABELLE_HOME_USER/ROOTS || echo "$PWD/.afp/$AFP_DATE/thys/$e" >> $ISABELLE_HOME_USER/ROOTS 
+                echo "           Registering $e"
+                $ISABELLE components -u "$PWD/.afp/$AFP_DATE/thys/$e"
             done
             echo "           AFP installation successful."
         else
@@ -189,7 +188,7 @@ install_and_register(){
     sed -i -e "s|<isadofurl>|$DOF_URL|" $ISABELLE_HOME_USER/DOF/*/*
     LTX_VERSION="$DATE $DOF_VERSION/$ISABELLE_SHORT_VERSION"
     sed -i -e "s|<isadofltxversion>|$LTX_VERSION|" $ISABELLE_HOME_USER/DOF/*/*
-    $ISABELLE components -u $PWD    
+    $ISABELLE components -u "$PWD"    
 }