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 $@`