From 37192357bfd5e245335a822fedbeb9fd5d30540c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 23 May 2003 10:15:06 +0000
Subject: Add a location under HOME to search path for isatool

---
 isa/isabelle-system.el | 13 +++++++------
 1 file changed, 7 insertions(+), 6 deletions(-)

diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el
index d294f9ed..5f513e5c 100644
--- a/isa/isabelle-system.el
+++ b/isa/isabelle-system.el
@@ -40,12 +40,13 @@
       (proof-locate-executable "isatool")
       ;; FIXME: use same mechanism as isabelle-program-name below.
       (let ((possibilities
-	     '("/usr/bin/isatool"
-	       "/usr/share/Isabelle/bin/isatool"
-	       "/usr/local/bin/isatool"
-	       "/usr/local/Isabelle/bin/isatool"
-	       "/opt/bin/isatool"
-	       "/opt/Isabelle/bin/isatool")))
+	     (list
+	      (concat (getenv "HOME") "/Isabelle/bin/isatool")
+	      "/usr/share/Isabelle/bin/isatool"
+	      "/usr/local/bin/isatool"
+	      "/usr/local/Isabelle/bin/isatool"
+	      "/opt/bin/isatool"
+	      "/opt/Isabelle/bin/isatool")))
 	(while (and possibilities
 		    (not (file-executable-p
 			  (car possibilities))))
-- 
cgit v1.2.3