tuned/clarified some component settings;
authorwenzelm
Mon Dec 20 15:19:15 2010 +0100 (2010-12-20)
changeset 413089e576ec5c0dc
parent 41307 bb8468ae414e
child 41309 2e9bf718a7a1
tuned/clarified some component settings;
explicit comments about common mistakes;
src/HOL/Library/Sum_Of_Squares/etc/settings
src/HOL/Mirabelle/etc/settings
src/HOL/Mutabelle/etc/settings
src/HOL/Tools/ATP/etc/settings
src/HOL/Tools/Predicate_Compile/etc/settings
src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version
src/HOL/Tools/SMT/etc/settings
src/Tools/WWW_Find/etc/settings
     1.1 --- a/src/HOL/Library/Sum_Of_Squares/etc/settings	Mon Dec 20 14:44:00 2010 +0100
     1.2 +++ b/src/HOL/Library/Sum_Of_Squares/etc/settings	Mon Dec 20 15:19:15 2010 +0100
     1.3 @@ -1,1 +1,3 @@
     1.4 +# -*- shell-script -*- :mode=shellscript:
     1.5 +
     1.6  ISABELLE_SUM_OF_SQUARES="$COMPONENT"
     2.1 --- a/src/HOL/Mirabelle/etc/settings	Mon Dec 20 14:44:00 2010 +0100
     2.2 +++ b/src/HOL/Mirabelle/etc/settings	Mon Dec 20 15:19:15 2010 +0100
     2.3 @@ -1,3 +1,5 @@
     2.4 +# -*- shell-script -*- :mode=shellscript:
     2.5 +
     2.6  MIRABELLE_HOME="$COMPONENT"
     2.7  
     2.8  MIRABELLE_LOGIC=HOL
     2.9 @@ -5,4 +7,4 @@
    2.10  MIRABELLE_OUTPUT_PATH=/tmp/mirabelle
    2.11  MIRABELLE_TIMEOUT=30
    2.12  
    2.13 -ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
    2.14 +ISABELLE_TOOLS="$ISABELLE_TOOLS:$MIRABELLE_HOME/lib/Tools"
     3.1 --- a/src/HOL/Mutabelle/etc/settings	Mon Dec 20 14:44:00 2010 +0100
     3.2 +++ b/src/HOL/Mutabelle/etc/settings	Mon Dec 20 15:19:15 2010 +0100
     3.3 @@ -1,7 +1,9 @@
     3.4 +# -*- shell-script -*- :mode=shellscript:
     3.5 +
     3.6  MUTABELLE_HOME="$COMPONENT"
     3.7  
     3.8  DEFAULT_MUTABELLE_LOGIC=HOL
     3.9  DEFAULT_MUTABELLE_IMPORT_THEORY=Complex_Main
    3.10  DEFAULT_MUTABELLE_OUTPUT_PATH=/tmp/mutabelle
    3.11  
    3.12 -ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
    3.13 +ISABELLE_TOOLS="$ISABELLE_TOOLS:$MUTABELLE_HOME/lib/Tools"
     4.1 --- a/src/HOL/Tools/ATP/etc/settings	Mon Dec 20 14:44:00 2010 +0100
     4.2 +++ b/src/HOL/Tools/ATP/etc/settings	Mon Dec 20 15:19:15 2010 +0100
     4.3 @@ -1,1 +1,3 @@
     4.4 +# -*- shell-script -*- :mode=shellscript:
     4.5 +
     4.6  ISABELLE_ATP="$COMPONENT"
     5.1 --- a/src/HOL/Tools/Predicate_Compile/etc/settings	Mon Dec 20 14:44:00 2010 +0100
     5.2 +++ b/src/HOL/Tools/Predicate_Compile/etc/settings	Mon Dec 20 15:19:15 2010 +0100
     5.3 @@ -1,5 +1,8 @@
     5.4  # -*- shell-script -*- :mode=shellscript:
     5.5  
     5.6 +# FIXME contrib_devel not official
     5.7 +# FIXME $(type -p swipl) etc. does not allow spaces in file name
     5.8 +
     5.9  EXEC_SWIPL="$(choosefrom \
    5.10    "$ISABELLE_HOME/contrib/swipl/$ISABELLE_PLATFORM/bin/swipl" \
    5.11    "$ISABELLE_HOME/contrib_devel/swipl/$ISABELLE_PLATFORM/bin/swipl" \
     6.1 --- a/src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version	Mon Dec 20 14:44:00 2010 +0100
     6.2 +++ b/src/HOL/Tools/Predicate_Compile/lib/scripts/swipl_version	Mon Dec 20 15:19:15 2010 +0100
     6.3 @@ -7,6 +7,9 @@
     6.4  if [ "$EXEC_SWIPL" = "" ]; then
     6.5    echo ""
     6.6  else
     6.7 +  # FIXME does not allow spaces in $EXEC_SWIPL
     6.8 +  # FIXME "expr match" not portable
     6.9 +  # FIXME prefer $(...) in bash
    6.10    VERSION=`$EXEC_SWIPL --version`
    6.11    echo `expr match "$VERSION" 'SWI-Prolog version \([0-9\.]*\)'`
    6.12  fi
     7.1 --- a/src/HOL/Tools/SMT/etc/settings	Mon Dec 20 14:44:00 2010 +0100
     7.2 +++ b/src/HOL/Tools/SMT/etc/settings	Mon Dec 20 15:19:15 2010 +0100
     7.3 @@ -1,3 +1,5 @@
     7.4 +# -*- shell-script -*- :mode=shellscript:
     7.5 +
     7.6  ISABELLE_SMT="$COMPONENT"
     7.7  
     7.8  REMOTE_SMT="$ISABELLE_SMT/lib/scripts/remote_smt"
     8.1 --- a/src/Tools/WWW_Find/etc/settings	Mon Dec 20 14:44:00 2010 +0100
     8.2 +++ b/src/Tools/WWW_Find/etc/settings	Mon Dec 20 15:19:15 2010 +0100
     8.3 @@ -1,7 +1,8 @@
     8.4 -# the path to lighttpd
     8.5 +# -*- shell-script -*- :mode=shellscript:
     8.6 +
     8.7  LIGHTTPD="/usr/sbin/lighttpd"
     8.8  
     8.9 -ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"
    8.10 -
    8.11  WWWFINDDIR="$COMPONENT"
    8.12  WWWCONFIG="$WWWFINDDIR/lighttpd.conf"
    8.13 +
    8.14 +ISABELLE_TOOLS="$ISABELLE_TOOLS:$WWWFINDDIR/lib/Tools"