diff options
author | Clément Pit-Claudel <cpitclaudel@gmail.com> | 2017-05-05 10:22:25 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-05 10:22:25 -0400 |
commit | 409a116b00a2208e0fbc528981176d29c7966db6 (patch) | |
tree | 64131a91074063c119f10aa63d044d3011813c47 /generic/pg-pamacs.el | |
parent | 8038b7270e7fd9752a62be2b4e59f26b8d0e48dc (diff) | |
parent | f607be020b5d5ebbca5a5b8a2cea2e234cace966 (diff) |
Merge pull request #157 from ProofGeneral/elpa
[WIP] ELPA/MELPA support
Diffstat (limited to 'generic/pg-pamacs.el')
-rw-r--r-- | generic/pg-pamacs.el | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/generic/pg-pamacs.el b/generic/pg-pamacs.el index 4958b360..d7bb1bf3 100644 --- a/generic/pg-pamacs.el +++ b/generic/pg-pamacs.el @@ -155,6 +155,8 @@ Usage: (defpgdefault SYM VALUE)" ;;;###autoload (defun proof-defpacustom-fn (name val args) "As for macro `defpacustom' but evaluating arguments." + (unless (and proof-assistant (not (string= proof-assistant ""))) + (error "No proof assistant defined")) (let (newargs setting evalform type descr) (while args (cond @@ -257,10 +259,6 @@ Additional properties in the ARGS prop list may include: askprefs message. This macro also extends the `proof-assistant-settings' list." - (eval-when-compile - (if (boundp 'proof-assistant-symbol) - ;; declare variable to compiler to prevent warnings - (eval `(defvar ,(proof-ass-sym name) nil "Dummy for compilation.")))) `(proof-defpacustom-fn (quote ,name) (quote ,val) (quote ,args))) |