diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2001-09-04 16:35:34 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2001-09-04 16:35:34 +0000 |
commit | 78b3a271a936bb12317287395250f552f87ce925 (patch) | |
tree | a0192c777c79ff75d6bf0b04510319bbc4c2cbc4 /INSTALL | |
parent | 71980ddb77f53b7ba2e79106ba2a2f8bfc780f68 (diff) |
Updates
Diffstat (limited to 'INSTALL')
-rw-r--r-- | INSTALL | 16 |
1 files changed, 10 insertions, 6 deletions
@@ -105,12 +105,16 @@ Byte Compilation. ----------------- Compilation of the Emacs lisp files improves efficiency but can -sometimes cause compatibility problems. It is not supported in this -release. 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. Check the Makefile sets EMACS to your Emacs -executable. +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. Site-wide Installation |