PG will not compile under non-windowing Emacs

[megacz]

emacs --batch --no-site-file -q -eval '(setq load-path (append (mapcar (lambda (d) (concat "/opt/local/var/macports/build/_opt_local_var_macports_sources_rsync.macports.org_release_ports_math_ProofGeneral/work/ProofGeneral-4.0pre101004/" (symbol-name d))) (quote (acl2 ccc coq hol98 isar lego pgshell phox generic lib contrib/mmm))) load-path))' -eval '(progn (require (quote bytecomp)) (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/pg-pbrpm.el

In toplevel form: generic/pg-pbrpm.el:599:1:Error: the following functions are not known to be defined: popup-menu, mouse-set-point make[1]: * [generic/pg-pbrpm.elc] Error 1 make: * [compile] Error 2

[megacz]

very crude patch to hack around this -- needs work

[David Aspinall]

Thanks for the report.

You were trying to compile using Mac OS X's native (tty only) Emacs which does not load some standard GUI Elisp files. I've fixed this by loading those files in the Makefile during compilation (not removing GUI code from PG!).

Note that to be sure of compatibility, you should always compile files for the Emacs version you're using, so if for example, you're using Emacs.app installed in the Applications folder, you should compile like this:

make EMACS=/Applications/Emacs.app/Contents/MacOS/Emacs

[megacz]

Could you post a new tarball? I can't seem to get the CVS version working.

[megacz]

Er, nevermind, got it working.