diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 44 |
1 files changed, 44 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000000..8492909862 --- /dev/null +++ b/Makefile @@ -0,0 +1,44 @@ + +EXTRA_DIST = configure + +all: all-recursive + +top_srcdir=. +include $(top_srcdir)/config.make + +CONFIG_MAKE=$(top_srcdir)/config.make + +%-recursive: $(CONFIG_MAKE) + @set . $$MAKEFLAGS; final_exit=:; \ + case $$2 in --unix) shift ;; esac; \ + case $$2 in *=*) dk="exit 1" ;; *k*) dk=: ;; *) dk="exit 1" ;; esac; \ + for dir in $(SUBDIRS); do \ + case $$dir in \ + .) make $*-local || { final_exit="exit 1"; $$dk; };;\ + *) (cd $$dir && make $*) || { final_exit="exit 1"; $$dk; };;\ + esac \ + done + $$final_exit + +$(CONFIG_MAKE): + echo "You must run configure first" + exit 1 + +clean: clean-recursive +install: install-recursive +uninstall: uninstall-recursive +distcheck: distcheck-recursive + +dist: dist-recursive + mkdir -p tarballs + for t in $(SUBDIRS); do \ + if test -a $$t/*.tar.gz; then \ + mv -f $$t/*.tar.gz tarballs ;\ + fi \ + done + +run: + cd main && make run + +check-addins: + cd main && make check-addins |