Updated release script to new installation setup.

.woodpecker/mk_release

@@ -49,16 +49,6 @@ print_help()
     echo "                            (use master: $PUBLISH)"
 }
 
-read_config() {
-    if [ ! -f .config ]; then
-        echo "Error: .config not found (not started in the main directory?)!"
-        exit 1
-    else
-        source .config
-    fi
-}
-
-
 check_isabelle_version() {
     ACTUAL_ISABELLE_VERSION=`$ISABELLE version`
     echo "* Checking Isabelle version:"
@@ -80,19 +70,15 @@ clone_repo()
     else
         echo "  * Not tag specified, using master branch"
     fi
-    (cd $ISADOF_WORK_DIR && git show -s --format="COMMIT=%H%nDATE=%cd" --date=short | sed -e 's|-|/|g') >> $ISADOF_WORK_DIR/.config
+    (cd $ISADOF_WORK_DIR && git show -s --format="COMMIT=%H%nDATE=%cd" --date=short | sed -e 's|-|/|g') >> $ISADOF_WORK_DIR/etc/settings
     
 }
 
 build_and_install_manuals()
 {
     echo "* Building manual"
-    ROOTS=$ISABELLE_HOME_USER/ROOTS
-    if [ -f $ROOTS ]; then
-        mv $ROOTS $ROOTS.backup
-    fi
 
-    (cd $ISADOF_WORK_DIR && ./install)
+    (cd $ISADOF_WORK_DIR && $ISABELLE env ./install-afp)
     (cd $ISADOF_WORK_DIR && $ISABELLE build -c -D . )
 
     mkdir -p $ISADOF_WORK_DIR/doc
@@ -108,9 +94,7 @@ build_and_install_manuals()
 
     find $ISADOF_WORK_DIR -type d -name "output" -exec rm -rf {} \; &> /dev/null || true
     rm -rf $ISADOF_WORK_DIR/.git* $ISADOF_WORK_DIR/.woodpecker $ISADOF_WORK_DIR/.afp 
-    if [ -f $ROOTS.backup ]; then
-        mv $ROOTS.backup $ROOTS
-    fi
+    
 }
 
 create_archive()
@@ -138,12 +122,13 @@ publish_archive()
 }
 
 
-read_config
 ISABELLE=`which isabelle`
 USE_TAG="false"
 SIGN="false"
 PUBLISH="false"
 BUILD_DIR=`mktemp -d`
+ISABELLE_HOME_USER=`mktemp -d`
+export ISABELLE_HOME_USER
 ISADOF_WORK_DIR="$BUILD_DIR/Isabelle_DOF"
 while [ $# -gt 0 ]
 do
@@ -171,17 +156,19 @@ done
 
 clone_repo
 
-source $ISADOF_WORK_DIR/.config
+$ISABELLE components -x `pwd`
+$ISABELLE components -u $ISADOF_WORK_DIR
+
+VARS=`$ISABELLE getenv ISABELLE_VERSION DOF_VERSION ISABELLE_HOME_USER`
+for i in $VARS; do
+        export "$i"
+done
+
 ISABELLE_SHORT_VERSION=`echo $ISABELLE_VERSION | sed -e 's/:.*$//'`
 ISADOF_TAR="Isabelle_DOF-"$DOF_VERSION"_"$ISABELLE_SHORT_VERSION
 ISADOF_DIR="$BUILD_DIR/$ISADOF_TAR"
 
 check_isabelle_version
-VARS=`$ISABELLE getenv ISABELLE_HOME_USER`
-for i in $VARS; do
-        export "$i"
-done
-
 build_and_install_manuals
 
 create_archive
@@ -194,4 +181,10 @@ if [ "$PUBLISH" = "true" ]; then
     publish_archive
 fi
 
+$ISABELLE components -x $ISADOF_WORK_DIR
+$ISABELLE components -u `pwd`
+
+rm -rf ISABELLE_HOME_USER
+rm -rf ISADOF_WORK_DIR
+
 exit 0