diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:58:45 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-20 10:58:45 +0000 |
| commit | b66250120c75df197a6472217548b0f0270f6d2f (patch) | |
| tree | 490b02d24e90cde3d924261120ec48d801f63552 /Makefile.devel | |
| parent | ab09e42a7c1912eedb35834effdedc7ba70f2098 (diff) | |
Changed dcsinstall into distinstall. Added comments.
Diffstat (limited to 'Makefile.devel')
| -rw-r--r-- | Makefile.devel | 28 |
1 files changed, 20 insertions, 8 deletions
diff --git a/Makefile.devel b/Makefile.devel index 563c6cad..b6a39ab7 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -19,6 +19,11 @@ ## make release - make tag, dist, and install it in RELEASEDIR. ## make releaseall - make release and rpmrelease. ## +## make distinstall - install distribution build by 'make dist' +## into DISTINSTALLDIR. +## +## make releaseclean - clean up after 'make dist' 'make rpmrelease'. +## ## $Id$ ## ########################################################################### @@ -80,6 +85,12 @@ DEVELRELEASENAMETARGZ = $(DEVELRELEASENAMETAR).gz # Files not kept under cvs to clean away. FILES_NONCVS = ChangeLog +# Where to install a distribution +# DISTINSTALLDIR=/usr/local/share/elisp/proofgeneral +# value for dcs.ed.ac.uk: +DISTINSTALLDIR=/export/local/share/elisp/proofgeneral + + FORCE: # Targets to pre-compile for distribution @@ -301,12 +312,13 @@ releaseall: release rpmrelease releaseclean ############################################################ # -# dcsinstall: -# Install distribution from $(DISTBUILDIR) at dcs.ed -# Clean out DCSEXPORTDIR first. +# distinstall: +# Install distribution from $(DISTBUILDIR) into DISTINSTALLDIR +# Clean out DISTINSTALLDIR first. +# NB! Simple install, no attempt to put info files, etc, in +# special places. # -DCSEXPORTDIR=/export/local/shar/elisp/proofgeneral -dcsinstall: - rm -rf $(DCSEXPORTDIR) - mkdir -p $(DCSEXPORTDIR) - (cd $(DCSEXPORTDIR); tar -xpzf $(DISTBUILDIR)/$(RELEASENAMETARGZ)) +distinstall: + rm -rf $(DISTINSTALLDIR) + mkdir -p $(DISTINSTALLDIR) + (cd $(DISTINSTALLDIR); tar -xpzf $(DISTBUILDIR)/$(RELEASENAMETARGZ)) |