Ulrich Mueller <u...@gentoo.org> writes:

   Byte-compilation of ProofGeneral fails if Emacs was configured with
   option --without-x, because image-load-path is not defined in this
   case:

Which emacs version are you using?

Could anybody explain me, why I cannot reproduce the problem? I
tried with emacs23-nox from Debian, which has image.el not loaded
and where (boundp 'image-load-path) gives nil. Nevertheless,  

    emacs --batch --no-site-file -q  -eval '(setq load-path (append (mapcar 
(lambda (d) (concat "/tmp/ProofGeneral-4.1/" (symbol-name d))) (quote (acl2 ccc 
coq hol98 isar lego pgshell phox generic lib))) load-path))' -eval '(progn 
(require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) 
(require (quote fontset)) (setq byte-compile-warnings (remove (quote 
cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq 
byte-compile-error-on-warn t))' -f batch-byte-compile generic/proof-toolbar.el

runs without error on proof-toolbar.el version 11.1

Bye,

Hendrik
_______________________________________________
ProofGeneral-devel mailing list
ProofGeneral-devel@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/proofgeneral-devel

Reply via email to