Isabelle_DOF
/
Isabelle_DOF
1
0
Fork 2
Code Issues 1 Pull Requests Releases Wiki Activity

Preserve old instalation.

This commit is contained in:
Achim D. Brucker 2018-06-04 11:33:04 +01:00
parent b4d70883ba
commit e4ffdeeba4
1 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
document-generator/install
View File

@ -48,6 +48,12 @@ else
echo "Registering tools in Tools already registered in $DIR/settings"
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"
mv "$ISABELLE_HOME_USER/DOF" "$ISABELLE_HOME_USER/DOF.bak"
fi
# Build Scala lib
(cd converter; ./build $ISABELLE)
DIR="$ISABELLE_HOME_USER/DOF/lib"