diff options
author | 2000-05-26 17:44:40 +0000 | |
---|---|---|
committer | 2000-05-26 17:44:40 +0000 | |
commit | e801931ec4902a199f9efa809783571d53a87056 (patch) | |
tree | 4ffe2903705c1feaf615aee82b40e118f929c8e6 /generic | |
parent | 4d44ce2f31c99d585681d811b0a60a7ab43fe419 (diff) |
Only extend the load path if necessary
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-site.el | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/generic/proof-site.el b/generic/proof-site.el index 71826b60..cfff45d7 100644 --- a/generic/proof-site.el +++ b/generic/proof-site.el @@ -206,7 +206,8 @@ Note: to change proof assistant, you must start a new Emacs session.") (cusgrp (intern cusgrp-rt)) (cus-internals (intern (concat cusgrp-rt "-config"))) ;; NB: Dir name for each prover is the same as its symbol name! - (elisp-dir sname)) + (elisp-dir sname) + (loadpath-elt (concat proof-home-directory elisp-dir "/"))) (eval `(progn ;; Make a customization group for this assistant (defgroup ,cusgrp nil @@ -228,10 +229,9 @@ Note: to change proof assistant, you must start a new Emacs session.") (setq proof-assistant-internals-cusgrp (quote ,cus-internals)) (setq proof-assistant ,assistant-name) (setq proof-assistant-symbol (quote ,assistantsym)) - ;; Extend the load path - (setq load-path - (cons (concat proof-home-directory ,elisp-dir "/") - load-path)))))) + ;; Extend the load path if necessary + (if (not (member ,loadpath-elt load-path)) + (setq load-path (cons ,loadpath-elt load-path))))))) ;; Now add auto-loads and load-path elements to support the ;; proof assistants selected, and define a stub |