1 # simple makefile wrapper to run waf
3 WAF_BIN=`PATH=buildtools/bin:../../buildtools/bin:$$PATH which waf`
4 WAF_BINARY=$(PYTHON) $(WAF_BIN)
5 WAF=PYTHONHASHSEED=1 WAF_MAKE=1 $(WAF_BINARY)
17 $(WAF) test $(TEST_OPTIONS)
20 $(WAF) test --testenv $(TEST_OPTIONS)
23 $(WAF) test --quick $(TEST_OPTIONS)
27 WAFLOCK=.tmplock $(WAF) dist
31 WAFLOCK=.tmplock $(WAF) distcheck
39 reconfigure: configure
45 # some compatibility make targets
54 # this should do an install as well, once install is finished
64 $(WAF) --targets=`basename $@`