diff options
| author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-10-19 14:45:42 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-10-19 14:45:42 -0700 |
| commit | ce8c429281fd1f7e4ac4d2b7133152c1d370df0c (patch) | |
| tree | 407400e728621cc9a5262e7112a93bd6acd0835a /Makefile.subdir | |
| parent | 7de0540252b62080ee9f98617f5718cb1ae08579 (diff) | |
Remove autotools build system. (#2639)
Diffstat (limited to 'Makefile.subdir')
| -rw-r--r-- | Makefile.subdir | 58 |
1 files changed, 0 insertions, 58 deletions
diff --git a/Makefile.subdir b/Makefile.subdir deleted file mode 100644 index 4bafe4684..000000000 --- a/Makefile.subdir +++ /dev/null @@ -1,58 +0,0 @@ -# -*-makefile-*- -# -# This makefile is included from source directories in order to -# trigger a build in the corresponding build directory. -# -# See src/Makefile for an example. -# -include $(topdir)/builds/current -builddir = $(topdir)/builds/$(CURRENT_BUILD)/$(srcdir) -unittestdir = $(topdir)/builds/$(CURRENT_BUILD)/test/unit -unittestprefix = $(srcdir:src/%=%) - -.PHONY: all -all .DEFAULT: - @if test -e $(builddir); then \ - echo cd $(builddir); \ - cd $(builddir); \ - echo $(MAKE) $@; \ - $(MAKE) $@; \ - else \ - echo; \ - echo 'Run configure first, or type "make" in a configured build directory.'; \ - echo; \ - fi - -.PHONY: check units -ifeq ($(srcdir:test/%=test),test) -# under the test/ directory, additional subtargets -.PHONY: systemtests regress regress0 regress1 regress2 regress3 -check units systemtests regress regress0 regress1 regress2 regress3: - @if test -e $(builddir); then \ - echo cd $(builddir); \ - cd $(builddir); \ - echo $(MAKE) $@; \ - $(MAKE) $@; \ - else \ - echo; \ - echo "** ERROR: could not find testing dir \`$(builddir)'"; \ - echo; \ - fi -else -check units: - @if test -e $(unittestdir); then \ - echo cd $(unittestdir); \ - cd $(unittestdir); \ - echo $(MAKE) TEST_PREFIX=$(unittestprefix)/ $@; \ - $(MAKE) TEST_PREFIX=$(unittestprefix)/ $@; \ - else \ - echo; \ - echo "** ERROR: could not find unit testing dir \`$(unittestdir)'"; \ - echo; \ - exit 1; \ - fi -endif - -# synonyms for "check" -.PHONY: test -test: check |