5 @[ -f waf ] || make getwaf
8 curl https://waf.io/waf-1.8.14 > waf
12 @[ -d wafilb ] || rm -fr waflib
13 @$(WAFCMD) --help > /dev/null
14 @mv .waf*/waflib . && rm -fr .waf*
15 @sed '/^#==>$$/,$$d' waf > waf2 && mv waf2 waf
23 cd python && ./setup.py build
26 cd python && ./setup.py clean
29 cd python && python3 ./setup.py build
32 cd python && python3 ./setup.py clean