diff options
| author | Guido van Rossum <guido@python.org> | 1994-08-30 12:42:01 (GMT) |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1994-08-30 12:42:01 (GMT) |
| commit | 7522f030eeee8f9b9ef1d0f62237a47f1209c1c8 (patch) | |
| tree | cd877950f0bccf9a35477cdb7022fd70cc7524c2 /Makefile.in | |
| parent | e4ab6475f1d9e97f17bd17206a10c1d8c4c4130c (diff) | |
| download | cpython-7522f030eeee8f9b9ef1d0f62237a47f1209c1c8.zip cpython-7522f030eeee8f9b9ef1d0f62237a47f1209c1c8.tar.gz cpython-7522f030eeee8f9b9ef1d0f62237a47f1209c1c8.tar.bz2 | |
Makefile.in: run compileall on installed library;
rest: the usual
Diffstat (limited to 'Makefile.in')
| -rw-r--r-- | Makefile.in | 12 |
1 files changed, 7 insertions, 5 deletions
diff --git a/Makefile.in b/Makefile.in index 04f7a47..1fe5701 100644 --- a/Makefile.in +++ b/Makefile.in @@ -88,13 +88,15 @@ install: python # Install the library. # If your system does not support "cp -r", try "copy -r" or perhaps -# something like find Lib -print | cpio -pacvdmu $(DESTDIR)/lib/python +# something like find Lib -print | cpio -pacvdmu $(LIBDEST) +LIBDEST= $(prefix)/lib/python libinstall: - -if test ! -d $(prefix)/lib/python; \ - then mkdir $(prefix)/lib/python; \ + -if test ! -d $(LIBDEST); \ + then mkdir $(LIBDEST); \ fi - cp -r $(srcdir)/Lib/* $(prefix)/lib/python - @echo Ideally, run something to compile all modules now... + cp -r $(srcdir)/Lib/* $(LIBDEST) + PYTHONPATH=$(LIBDEST) \ + ./python $(LIBDEST)/compileall.py $(LIBDEST) # install the manual page maninstall: |