+
+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*