Opened 15 years ago

Closed 15 years ago

#285 closed defect (fixed)

byte compilation

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

Description

GNU Emacs 23.1.1 on Mac OS, Proof General 4.0pre090902 (or CVS version).

Byte compilation via make compile produces a version of Proof General that fails to start up.

(Since only GNU Emacs is supported now, I wonder if byte compilation could be made the default.)

Change History (2)

comment:1 Changed 15 years ago by David Aspinall

Thanks for the report. I'm currently working on repairing byte compilation and things may be a bit unstable in CVS meanwhile. It's always tricky after a year or more of developers just working on the interpreted version.

comment:2 Changed 15 years ago by David Aspinall

Resolution: fixed
Status: newclosed

Byte compilation should be working now. The distribution now includes byte compiled files for Emacs 23, as suggested. This will unfortunately cause confusion for people who have older emacs files -- I hope they will read the web page, README or INSTALL files.

Note: See TracTickets for help on using tickets.