diff options
author | Makarius Wenzel <makarius@sketis.net> | 2000-07-20 15:40:36 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2000-07-20 15:40:36 +0000 |
commit | 80085467c40793aef82a3f344a815e8fcf3b2a93 (patch) | |
tree | 2c1e882342424d538187aa62aa6fb91bf0dce2b0 /generic | |
parent | 26c7cc6a718c7d8d9acdbec4ff6d05297fa9b67f (diff) |
proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-site.el | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 8a7d5d32..7f3a40a6 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -136,13 +136,7 @@ If S is nil, return empty list." s end-of-word-occurence)) separator)))))) -(defcustom proof-assistants - ;; FIXME: we could check that this setting is sensible. - (or (mapcar 'intern - (proof-string-to-list - (getenv "PROOFGENERAL_ASSISTANTS") " ")) - (mapcar (lambda (astnt) (car astnt)) - proof-assistant-table)) +(defcustom proof-assistants nil (concat "*Choice of proof assistants to use with Proof General. A list of symbols chosen from:" @@ -168,6 +162,7 @@ Note: to change proof assistant, you must start a new Emacs session.") proof-assistant-table)) :group 'proof-general) + ;; Extend load path for the generic files. (let ((proof-lisp-path (concat proof-home-directory "generic/"))) @@ -235,7 +230,12 @@ Note: to change proof assistant, you must start a new Emacs session.") ;; Now add auto-loads and load-path elements to support the ;; proof assistants selected, and define a stub -(let ((assistants proof-assistants)) +(let ((assistants + (or (mapcar 'intern + (proof-string-to-list + (getenv "PROOFGENERAL_ASSISTANTS") " ")) + proof-assistants + (mapcar (lambda (astnt) (car astnt)) proof-assistant-table)))) (while assistants (let* ((assistant (car assistants)) ; compiler bogus warning here |