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
comment:2 Changed 15 years ago by
Resolution: | → fixed |
---|---|
Status: | new → closed |
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.
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.