diff options
| author | David Aspinall | 2008-01-17 12:11:18 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-01-17 12:11:18 +0000 |
| commit | dd01573f57463212f3f9667a787c94ab691c0fa7 (patch) | |
| tree | 3725216df224eb17283f9bec6ffcae5f595b28f7 /generic | |
| parent | c088485c7c536ee59f549477d9841645a288c223 (diff) | |
Prevent loading early in interpreted code: simulate proper eval-when (compile)
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-maths-menu.el | 6 | ||||
| -rw-r--r-- | generic/proof-mmm.el | 5 |
2 files changed, 7 insertions, 4 deletions
diff --git a/generic/proof-maths-menu.el b/generic/proof-maths-menu.el index 7f488fa1..c6a59454 100644 --- a/generic/proof-maths-menu.el +++ b/generic/proof-maths-menu.el @@ -19,8 +19,10 @@ ;; (eval-when-compile - (require 'maths-menu) ; dynamically loaded at runtime - (require 'proof-utils)) ; proof-ass, proof-eval-when-ready-for-assistant + (require 'proof-utils) ; for proof-ass, proof-eval-when-ready-for-assistant + (if noninteractive ; batch byte compilation + (unless (featurep 'xemacs) + (require 'maths-menu)))) ; it's loaded dynamically at runtime ;;;###autoload diff --git a/generic/proof-mmm.el b/generic/proof-mmm.el index 5bb22f0c..d82d55d5 100644 --- a/generic/proof-mmm.el +++ b/generic/proof-mmm.el @@ -22,8 +22,9 @@ ;; It should define an MMM submode class called <foo>. (eval-when-compile - (require 'mmm-auto) ; loaded dynamically at runtime - (require 'proof-utils)) ; for proof-ass, proof-eval-when-ready-for-assistant + (require 'proof-utils) ; for proof-ass, proof-eval-when-ready-for-assistant + (if noninteractive ; batch byte compilation + (require 'mmm-auto))) ; it's loaded dynamically at runtime (require 'proof-site) |