From c1f6c9c2f87edea03d9c279719f0f4a10c396db0 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Sat, 25 Feb 2017 19:55:51 -0500 Subject: Remove uses of defpacustom in coq-compile-common This file is `require'-d from other places, at compile time. This doesn't work nicely with compilation by package.el (PG complains and says "defpacustom: Proof assistant setting compile-before-require re-defined!") --- coq/coq-par-compile.el | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'coq/coq-par-compile.el') diff --git a/coq/coq-par-compile.el b/coq/coq-par-compile.el index fbe38a1e..05703e45 100644 --- a/coq/coq-par-compile.el +++ b/coq/coq-par-compile.el @@ -28,10 +28,7 @@ (require 'proof-compat)) (eval-when (compile) - (defvar queueitems) ; dynamic scope in p-s-extend-queue-hook - (defvar coq-compile-before-require) ; defpacustom - (defvar coq-compile-parallel-in-background) ; defpacustom - (defvar coq-confirm-external-compilation)); defpacustom + (defvar queueitems)) ; dynamic scope in p-s-extend-queue-hook (require 'coq-compile-common) -- cgit v1.2.3