diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 10:06:52 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-08-29 10:06:52 +0000 |
commit | 02f1692d75442b78de7e6c032d9ba45640454002 (patch) | |
tree | 13a44cbfd6c8b331dd6615874af6c79f90d2c587 | |
parent | 81a038a185dac18aa4dcdbb25e9405b86f3fed92 (diff) |
Search for isabelle binary in standard places.
-rw-r--r-- | isa/isabelle-system.el | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/isa/isabelle-system.el b/isa/isabelle-system.el index a57d65ca..bedd87cd 100644 --- a/isa/isabelle-system.el +++ b/isa/isabelle-system.el @@ -38,6 +38,7 @@ (defcustom isa-isatool-command (or (getenv "ISATOOL") (proof-locate-executable "isatool") + ;; FIXME: use same mechanism as isabelle-program-name below. (let ((possibilities '("/usr/bin/isatool" "/usr/share/Isabelle/bin/isatool" @@ -112,11 +113,16 @@ If there is no setting for the variable, DEFAULT will be returned" (defcustom isabelle-program-name (if (fboundp 'proof-running-on-win32) "C:\\sml\\bin\\.run\\run.x86-win32.exe @SMLload=C:\\Isabelle\\" - (proof-locate-executable "isabelle" t)) + (proof-locate-executable "isabelle" t + '("/usr/local/Isabelle/bin/" + "/opt/Isabelle/bin/" + "/usr/Isabelle/bin/" + "/usr/share/Isabelle/bin/"))) "*Default name of program to run Isabelle. The default value except when running under Windows is \"isabelle\", -which will get expanded using PATH if possible. +which will get expanded using PATH if possible, or in a number +of standard locations (/usr/local/Isabelle/, /opt/Isabelle, etc). The default value when running under Windows is: |