Ticket #458 (closed defect: fixed)

Opened 2 years ago

Last modified 18 months ago

ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90

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

Description

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

comment:1 Changed 20 months ago by coquser

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

comment:2 Changed 18 months ago by coquser

  • Status changed from new to closed
  • Resolution set to fixed

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

Hendrik

Note: See TracTickets for help on using tickets.