diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-11-03 18:11:57 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-11-03 18:11:57 +0000 |
| commit | 9bd24f8b48f0c7b933c0bcc001c65d6972f0b849 (patch) | |
| tree | c00ab53e5a953ca93973969bebb62d5aaa4c67f7 | |
| parent | 4a9c2da087829312adff30e39d28faa101c795f0 (diff) | |
release now should make links to -latest names for fixed URLs. (needs testing)
| -rw-r--r-- | Makefile.devel | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Makefile.devel b/Makefile.devel index 1bf2bfcf..6aeb14bf 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -42,6 +42,8 @@ RELEASE_TAG=2.0pre$(shell date "+%y%m%d") CVS_RELEASE_TAG=2-0pre$(shell date "+%y%m%d") NAME = ProofGeneral +LATESTNAME = ProofGeneral-latest +DEVELLATESTNAME = ProofGeneral-devel-latest # Name of tar file and RPM file. RELEASENAME = ProofGeneral-$(RELEASE_TAG) DEVELRELEASENAME = ProofGeneral-$(RELEASE_TAG)-devel @@ -86,6 +88,8 @@ RPM=rpm --rcfile $(RPMRC) RELEASENAMETAR = $(RELEASENAME).tar RELEASENAMETARGZ = $(RELEASENAMETAR).gz +# What the RPM should be called. +RELEASENAMERPM = $(RELEASENAME)-1.noarch.rpm DEVELRELEASENAMETAR = $(DEVELRELEASENAME).tar DEVELRELEASENAMETARGZ = $(DEVELRELEASENAMETAR).gz @@ -295,6 +299,9 @@ release: distclean tag dist develdist mkdir -p $(RELEASEDIR) cp -pfr $(DISTBUILDIR)/* $(RELEASEDIR) (cd $(RELEASEDIR); rm -f $(NAME); ln -s $(RELEASENAME) $(NAME)) + (cd $(RELEASEDIR); ln -sf $(RELEASENAMETARGZ) $(LATESTNAME).tar.gz) + (cd $(RELEASEDIR); ln -sf $(RELEASENAME)-1.noarch.rpm $(LATESTNAME).noarch.rpm) + (cd $(RELEASEDIR); ln -sf $(DEVELRELEASENAMETARGZ) $(DEVELLATESTNAME).tar.gz) @echo "*************************************************" @echo " Finished installing dist." @echo "*************************************************" |