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

Bug fix: re-activated support for skipping patching and AFP installation.
Isabelle_DOF/Isabelle_DOF/master This commit looks good Details

This commit is contained in:
Achim D. Brucker 2019-06-29 11:35:13 +01:00
parent e191238bb2
commit db83359f88
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
install
View File

@ -200,7 +200,7 @@ install_and_register(){
ISABELLE=`which isabelle`
SKIP="false"
while [ $# -gt 0 ]
do
case "$1" in
@ -222,7 +222,6 @@ done
ACTUAL_ISABELLE_VERSION=`$ISABELLE version`
GEN_DIR=document-generator
PROG=`echo $0 | sed 's|.*/||'`;
SKIP="false"
VARS=`$ISABELLE getenv ISABELLE_HOME_USER ISABELLE_HOME ISABELLE_TOOLS`
for i in $VARS; do
export "$i"