diff options
author | Achim Gratz <Stromeko@Stromeko.DE> | 2012-05-17 10:34:39 +0200 |
---|---|---|
committer | Bastien Guerry <bzg@altern.org> | 2012-05-18 07:45:47 +0200 |
commit | 58e4e212f269681d89d8f06b75ad48442117b89e (patch) | |
tree | c8a14f2ab57bcf060eeeaeb5b9388e3dcbc4639b | |
parent | 837ccf464c054d5935b3b6ae5a36adf9b1f3c0b6 (diff) | |
download | org-mode-58e4e212f269681d89d8f06b75ad48442117b89e.tar.gz |
Re-introduce server.mk
* UTILITIES/server.mk: Re-introduce, keep in UTILITIES like the other
server stuff. Implement "helpserver" and link into "help" and
"helpall" targets. Add "reltest" target to clean up the work tree
and produce release archives, uses internal target "rel-dirty" for
the actual archive creation. Warn if $(ORGVERSION) is different
from $(GITVERSION), as a release should only be made from a revision
that has an annotated tag.
-rw-r--r-- | UTILITIES/server.mk | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/UTILITIES/server.mk b/UTILITIES/server.mk new file mode 100644 index 0000000..8ac69ad --- /dev/null +++ b/UTILITIES/server.mk @@ -0,0 +1,41 @@ +#---------------------------------------------------------------------- +# This file is used for maintenance of org on the server. +#---------------------------------------------------------------------- +.PHONY: helpserver reltest rel-dirty warn + +help helpall helpserver:: + $(info ) + $(info Maintenance) + $(info ===========) + $(info reltest - clean up and create TAR/ZIP release archives) +helpserver:: + @echo "" + +#---------------------------------------------------------------------- + +ORGDIR = org-$(GITVERSION) +ORGTAR = $(ORGDIR).tar.gz +ORGZIP = $(ORGDIR).zip +ORGDIST = README Makefile default.mk targets.mk request-assign-future.txt \ + lisp/ etc/ doc/ contrib/ + +ORG_MAKE_DOC = info pdf card # do not make HTML documentation for release + +reltest: cleanall doc autoloads rel-dirty +rel-dirty: + -@$(RM) $(ORGDIR) $(ORGTAR) $(ORGZIP) + ln -s . $(ORGDIR) + tar -zcf $(ORGTAR) $(foreach dist, $(ORGDIST), $(ORGDIR)/$(dist)) + zip -r9 $(ORGZIP) $(foreach dist, $(ORGDIST), $(ORGDIR)/$(dist)) + -@$(RM) $(ORGDIR) + $(if $(filter-out $(ORGVERSION), $(GITVERSION)), \ + @$(MAKE) warn) + @echo ORGVERSION=$(ORGVERSION) GITVERSION=$(GITVERSION) + +warn: + $(info ======================================================) + $(info = =) + $(info = A release should only be made from a revision that =) + $(info = has an annotated tag! =) + $(info = =) + $(info ======================================================) |