diff options
Diffstat (limited to 'buildtools/scripts/Makefile.waf')
-rw-r--r-- | buildtools/scripts/Makefile.waf | 72 |
1 files changed, 0 insertions, 72 deletions
diff --git a/buildtools/scripts/Makefile.waf b/buildtools/scripts/Makefile.waf deleted file mode 100644 index 716ab93270..0000000000 --- a/buildtools/scripts/Makefile.waf +++ /dev/null @@ -1,72 +0,0 @@ -# simple makefile wrapper to run waf - -WAF_BINARY=BUILDTOOLS/bin/waf -WAF=WAF_MAKE=1 $(WAF_BINARY) - -all: - $(WAF) build - -install: - $(WAF) install - -uninstall: - $(WAF) uninstall - -test: - $(WAF) test $(TEST_OPTIONS) - -help: - @echo NOTE: to run extended waf options use $(WAF_BINARY) or modify your PATH - $(WAF) --help - -testenv: - $(WAF) test --testenv $(TEST_OPTIONS) - -quicktest: - $(WAF) test --quick $(TEST_OPTIONS) - -dist: - $(WAF) dist - -distcheck: - $(WAF) distcheck - -clean: - $(WAF) clean - -distclean: - $(WAF) distclean - -reconfigure: configure - $(WAF) reconfigure - -show_waf_options: - $(WAF) --help - -# some compatibility make targets -everything: all - -testsuite: all - -check: test - -torture: all - -# this should do an install as well, once install is finished -installcheck: test - -etags: - $(WAF) etags - -ctags: - $(WAF) ctags - -bin/%:: FORCE - $(WAF) --targets=`basename $@` -FORCE: - -configure: autogen-waf.sh BUILDTOOLS/scripts/configure.waf - ./autogen-waf.sh - -Makefile: autogen-waf.sh configure BUILDTOOLS/scripts/Makefile.waf - ./autogen-waf.sh |