Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Auto-config of E_HOME, SPASS_HOME, VAMPIRE_HOME
authorpaulson
Thu, 06 Sep 2007 17:06:04 +0200
changeset 24548 10111a1d6a6b
parent 24547 64c20ee76bc1
child 24549 c8cee92b06bc
Auto-config of E_HOME, SPASS_HOME, VAMPIRE_HOME
etc/settings file | annotate | diff | comparison | revisions 
--- a/etc/settings	Thu Sep 06 17:03:53 2007 +0200
+++ b/etc/settings	Thu Sep 06 17:06:04 2007 +0200
@@ -255,5 +255,17 @@
 #GLPK_PATH=glpsol
 
 # External provers
-#VAMPIRE_HOME=/usr/local/Vampire
-#E_HOME=/usr/local/E
+VAMPIRE_HOME=$(choosefrom \
+  "$ISABELLE_HOME/contrib/" \
+  "/usr/local/Vampire" \
+  "")
+
+E_HOME=$(choosefrom \
+  "$ISABELLE_HOME/contrib/" \
+  "/usr/local/E" \
+  "")
+  
+SPASS_HOME=$(choosefrom \
+  "$ISABELLE_HOME/contrib/" \
+  "/usr/local/SPASS" \
+  "")
isabelle