diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 16:37:45 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2000-03-23 16:37:45 +0000 |
commit | 831b6d3ba99b0839a20dfb43e9bed2ec5f7b0b39 (patch) | |
tree | 595ee42602cf04625a545a085d62cb3f7f6c576e /Makefile.devel | |
parent | 7a2b8a990a0a25fc02de05804fabf851b289e5ea (diff) |
Added zip file build
Diffstat (limited to 'Makefile.devel')
-rw-r--r-- | Makefile.devel | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Makefile.devel b/Makefile.devel index 605c6fda..d5f42be3 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -108,6 +108,8 @@ EMACS=xemacs # GNU version of tar, please TAR=tar +# zip utility +ZIP=zip # For recursive make DEVELMAKE=make -f Makefile.devel @@ -136,6 +138,7 @@ RPM=rpm --define '_topdir $(RPMTOPDIR)' RELEASENAMETAR = $(RELEASENAME).tar RELEASENAMETARGZ = $(RELEASENAMETAR).gz +RELEASENAMEZIP = $(RELEASENAME).zip # What the RPM should be called. RELEASENAMERPM = $(RELEASENAME)-1.noarch.rpm @@ -270,6 +273,7 @@ tag: # of rpm installed on standard machines at dcs.ed, and we have to build with # that version. Otherwise we could use the %{version} macro in the spec file. (cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/ProofGeneral-.*.tar.gz/$(RELEASENAMETARGZ)/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old) + (cd etc; mv ProofGeneral.spec ProofGeneral.spec.old; sed -e 's/ProofGeneral-.*.zip/$(RELEASENAMEZIP)/g' ProofGeneral.spec.old > ProofGeneral.spec; rm ProofGeneral.spec.old) if [ -z "$(NOCVS)" ]; then cvs commit -m"Set version tag for new release." generic/$(VERSIONFILE) html/$(DOWNLOADHTML) html/$(DOWNLOADINFOHTML) etc/ProofGeneral.spec; fi if [ -z "$(NOCVS)" ]; then cvs tag "$(CVS_RELEASENAME)"; fi @@ -330,6 +334,12 @@ dist: rm -f ignoredfiles gzip -9 $(DISTBUILDIR)/$(RELEASENAMETAR) @echo "*************************************************" + @echo " Making zip file..." + @echo "*************************************************" + (cd $(DISTBUILDIR); for f in $(IGNOREDFILES); do echo $$f >> ignoredfiles; done) + (cd $(DISTBUILDIR); $(ZIP) -r $(RELEASENAMEZIP) $(RELEASENAME) -x@ignoredfiles) + rm -f ignoredfiles + @echo "*************************************************" @echo " Finished making dist." @echo "*************************************************" @@ -368,6 +378,7 @@ release: distclean tag dist develdist 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 $(RELEASENAMEZIP) $(LATESTNAME).zip) (cd $(RELEASEDIR); ln -sf $(RELEASENAME)-1.noarch.rpm $(LATESTNAME).noarch.rpm) (cd $(RELEASEDIR); ln -sf $(RELEASENAME)-1.src.rpm $(LATESTNAME).src.rpm) (cd $(RELEASEDIR); ln -sf $(DEVELRELEASENAMETARGZ) $(DEVELLATESTNAME).tar.gz) |