diff options
| author | David Aspinall | 2003-05-23 10:15:06 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-05-23 10:15:06 +0000 |
| commit | 37192357bfd5e245335a822fedbeb9fd5d30540c (patch) | |
| tree | 952e699eeab037e1ff968cba1c7a530de5bd36e6 | |
| parent | 5832b8cdd1bb7f64d01ad9d27b43393c5038a522 (diff) | |
Add a location under HOME to search path for isatool
| -rw-r--r-- | isa/isabelle-system.el | 13 |
1 files 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)))) |