etc/settings
changeset 28995 d59b8124f1f5
parent 28915 0642cbb60c98
child 29070 1b8b46d90112
equal deleted inserted replaced
28994:49f602ae24e5 28995:d59b8124f1f5
    73 ###
    73 ###
    74 
    74 
    75 ISABELLE_SCALA="scala"
    75 ISABELLE_SCALA="scala"
    76 ISABELLE_JAVA="java"
    76 ISABELLE_JAVA="java"
    77 
    77 
    78 [ -e "$ISABELLE_HOME/contrib/scala" ] && \
    78 if [ -e "$ISABELLE_HOME/contrib/scala" ]; then
    79   classpath "$ISABELLE_HOME/contrib/scala/lib/scala-library.jar"
    79   classpath "$ISABELLE_HOME/contrib/scala/lib/scala-library.jar"
       
    80 elif [ -e "$ISABELLE_HOME/../scala" ]; then
       
    81   classpath "$ISABELLE_HOME/../scala/lib/scala-library.jar"
       
    82 fi
    80 
    83 
    81 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    84 classpath "$ISABELLE_HOME/lib/classes/Pure.jar"
    82 
    85 
    83 
    86 
    84 ###
    87 ###
   230 ###
   233 ###
   231 
   234 
   232 ## Set HOME only for tools you have installed!
   235 ## Set HOME only for tools you have installed!
   233 
   236 
   234 # External provers
   237 # External provers
   235 E_HOME=$(choosefrom "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" "/usr/local/E" "")
   238 E_HOME=$(choosefrom \
   236 VAMPIRE_HOME=$(choosefrom "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" "/usr/local/Vampire" \
   239   "$ISABELLE_HOME/contrib/E/$ML_PLATFORM" \
   237   "$ISABELLE_HOME/contrib/SystemOnTPTP" "")
   240   "$ISABELLE_HOME/../E/$ML_PLATFORM" \
   238 SPASS_HOME=$(choosefrom "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" "/usr/local/SPASS" "")
   241   "/usr/local/E" \
       
   242   "")
       
   243 VAMPIRE_HOME=$(choosefrom \
       
   244   "$ISABELLE_HOME/contrib/vampire/$ML_PLATFORM" \
       
   245   "$ISABELLE_HOME/../vampire/$ML_PLATFORM" \
       
   246   "/usr/local/Vampire" \
       
   247   "$ISABELLE_HOME/contrib/SystemOnTPTP" \
       
   248   "")
       
   249 SPASS_HOME=$(choosefrom \
       
   250   "$ISABELLE_HOME/contrib/spass/$ML_PLATFORM/bin" \
       
   251   "$ISABELLE_HOME/../spass/$ML_PLATFORM/bin" \
       
   252   "/usr/local/SPASS" \
       
   253   "")
   239 
   254 
   240 # HOL4 proof objects (cf. Isabelle/src/HOL/Import)
   255 # HOL4 proof objects (cf. Isabelle/src/HOL/Import)
   241 #HOL4_PROOFS="$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"
   256 #HOL4_PROOFS="$ISABELLE_HOME_USER/proofs:$ISABELLE_HOME/proofs"
   242 
   257 
   243 # SVC (Stanford Validity Checker)
   258 # SVC (Stanford Validity Checker)