diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2003-04-22 22:06:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2003-04-22 22:06:52 +0000 |
| commit | bd706047b9bb7ac7de6d34fb769b0eafac88c4fa (patch) | |
| tree | eac9e462445da770647c4ddcca2b8949bc5b9eb4 /INSTALL | |
| parent | 5dc494300e59f368bb97ec904aa448bf11d562e7 (diff) | |
Note about .elcs
Diffstat (limited to 'INSTALL')
| -rw-r--r-- | INSTALL | 20 |
1 files changed, 10 insertions, 10 deletions
@@ -97,16 +97,16 @@ Byte Compilation. ----------------- Compilation of the Emacs lisp files improves efficiency but can -sometimes cause compatibility problems. It is not properly supported -in this release, because testing for these compatibility problems -takes too much time. If you want to experiment nonetheless, you can -compile Proof General by typing 'make' in the directory where you -installed it. This will result in lots of warnings and error messages -most of which can be ignored. Some files cannot be properly -byte-compiled at the moment because they contain settings which depend -on run-time; these will be deleted by the Makefile. Use 'make clean' -to remove all .elc files in case of problems. Check the Makefile sets -EMACS to your Emacs executable. +sometimes cause compatibility problems. In particular, byte compiled +files are generally not compatible between XEmacs and GNU Emacs. + +We distribute .elcs for XEmacs, so you will have to delete +them and (optionally) recompile for GNU Emacs. + +Use 'make clean' to remove all .elc files. +Use 'make compile' to recompile .elc files. + +Check that the Makefile sets EMACS to your Emacs executable. Site-wide Installation |