aboutsummaryrefslogtreecommitdiffhomepage
path: root/generic
diff options
context:
space:
mode:
authorGravatar Makarius Wenzel <makarius@sketis.net>2000-07-20 15:40:36 +0000
committerGravatar Makarius Wenzel <makarius@sketis.net>2000-07-20 15:40:36 +0000
commit80085467c40793aef82a3f344a815e8fcf3b2a93 (patch)
tree2c1e882342424d538187aa62aa6fb91bf0dce2b0 /generic
parent26c7cc6a718c7d8d9acdbec4ff6d05297fa9b67f (diff)
proper evaluation of PROOFGENERAL_ASSISTANTS vs. proof-assistants;
Diffstat (limited to 'generic')
-rw-r--r--generic/proof-site.el16
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