diff options
| -rw-r--r-- | Makefile.in | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index fece9dbe4..5dd9d221b 100644 --- a/Makefile.in +++ b/Makefile.in @@ -31,6 +31,7 @@ exec_prefix= @exec_prefix@ CC= @CC@ INSTALL= @INSTALL@ +PYTHON= @PYTHON@ DEFS= @DEFS@ @@ -99,6 +100,7 @@ install: $(SUBDIRS) do \ (cd $$d; $(MAKE) install); \ done + $(PYTHON) -c 'import compileall; compileall.compile_dir("$(prefix)")' @echo "*****" @echo "***** If you are installing over an old installation, please" @echo "***** run \"make update\". See the UPGRADING file for details." |