# HG changeset patch # User Paul Brossier # Date 1487004173 -3600 # Node ID 9da5246fc50c523552e15fecf72b0ba1047cd0da # Parent c5ad52c1bc9a118498f00a488618e2d9945824c2 Makefile.inc: add getwaf / expandwaf rules diff -r c5ad52c1bc9a -r 9da5246fc50c Makefile.inc --- a/Makefile.inc Mon Feb 13 17:42:39 2017 +0100 +++ b/Makefile.inc Mon Feb 13 17:42:53 2017 +0100 @@ -46,3 +46,21 @@ distclean: clean rm -f $(PLUGIN_TARGET) *~ */*~ +WAFCMD=python waf +WAFURL=https://waf.io/waf-1.9.6 + +checkwaf: + @[ -f waf ] || make getwaf + +getwaf: + ./scripts/get_waf.sh + +expandwaf: getwaf + [ -d wafilb ] || rm -fr waflib + $(WAFCMD) --help > /dev/null + mv .waf*/waflib . && rm -fr .waf* + sed '/^#==>$$/,$$d' waf > waf2 && mv waf2 waf + chmod +x waf && chmod -R go-w waflib + +cleanwaf: + rm -rf waf waflib .waf*