diff options
Diffstat (limited to 'makefile')
| -rw-r--r-- | makefile | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/makefile b/makefile new file mode 100644 index 0000000..0758d61 --- /dev/null +++ b/makefile @@ -0,0 +1,21 @@ + +all: + +STAGEDIRS=cdf postgresql-prep postgresql-config pgaas pgaas-post + +build: + for i in $(STAGEDIRS); do ( cd $$i/src && $(MAKE) build ) done + +clean: + for i in $(STAGEDIRS); do ( cd $$i/src && $(MAKE) clean ) done + +stage: + for i in $(STAGEDIRS); do ( cd $$i/src && $(MAKE) stage ) done + +upload-javadocs: + for i in $(STAGEDIRS); do ( cd $$i/src && $(MAKE) upload-javadocs ) done + + +debian: + for i in $(STAGEDIRS); do ( cd $$i/src && $(MAKE) debian ) done + |