# HG changeset patch
# User paulson
# Date 1189091164 -7200
# Node ID 10111a1d6a6bc90725d4ed632873da50facd922a
# Parent  64c20ee76bc103b4c6e4e1bf6da82e8394d59c55
Auto-config of E_HOME, SPASS_HOME, VAMPIRE_HOME

diff -r 64c20ee76bc1 -r 10111a1d6a6b etc/settings
--- 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" \
+  "")