diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-02-28 20:07:21 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-02-28 20:07:21 +0000 |
| commit | 4ea17066d3fc14dfaedaa9e4b4966cfb5ce83993 (patch) | |
| tree | 6d927ce19e7ca81124597b236ea8c5f017510594 /Makefile | |
| parent | 482a7715c17560fd78acc552d8c2c3a972b59759 (diff) | |
Split install-elisp into separate targets for RPM
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 16 |
1 files changed, 12 insertions, 4 deletions
@@ -5,9 +5,9 @@ ## ## make - do "compile" and "scripts" targets ## make compile - make .elc's in a single session -## make all - make .elc's in separate sessions -## make scripts - edit paths to bash/perl in scripts +## make scripts - edit paths to bash/perl/PGHOME in scripts ## make install - install into system directories +## make clean - return to clean source ## ## $Id$ ## @@ -109,6 +109,8 @@ clean: cleanpgscripts (cd doc; $(MAKE) clean) (cd x-symbol/lisp; $(MAKE) distclean) +distclean: clean + ## ## Install files ## @@ -136,11 +138,17 @@ install-desktop: cp etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info # NB: .el files are not strictly necessary, but we package/install them -# for the time being to help with debugging. -install-elisp: compile +# for the time being to help with debugging, or for users to recompile. +install-elisp: install-el install-elc + +install-el: mkdir -p ${ELISP} for f in ${ELISP_DIRS}; do mkdir -p ${ELISP}/$$f; done for f in ${ELISP_DIRS}; do cp -pf $$f/*.el ${ELISP}/$$f; done + +install-elc: compile + mkdir -p ${ELISP} + for f in ${ELISP_DIRS}; do mkdir -p ${ELISP}/$$f; done for f in ${ELISP_DIRS}; do cp -pf $$f/*.elc ${ELISP}/$$f; done install-bin: scripts |