Opened 6 years ago

Closed 5 years ago

#458 closed defect (fixed)

ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90

Reported by: David Aspinall Owned by: David Aspinall
Priority: major Milestone: PG-Emacs-4.3
Component: 2:pg-emacs Keywords:


Byte-compilation of ProofGeneral 4.2 with the Emacs 24.2.90 pretest version fails in pg-response.el:

In toplevel form:
generic/pg-response.el:104:23:Error: `special-display-regexps' is an
obsolete variable (as of 24.3); use `display-buffer-alist' instead.

Change History (2)

comment:1 Changed 5 years ago by coquser

Workaround: edit Makefile and remove (setq byte-compile-error-on-warn t).

comment:2 Changed 5 years ago by coquser

Resolution: fixed
Status: newclosed

I changed the makefile to let warnings be non-fatal for normal compilation. (For developers: 'make check' retains the old behaviour.)


Note: See TracTickets for help on using tickets.