4 @[ -f waf ] || make getwaf
7 curl https://waf.io/waf-1.8.12 > waf
8 @[ -d wafilb ] || rm -fr waflib
9 @chmod +x waf && ./waf --help > /dev/null
10 @mv .waf*/waflib . && rm -fr .waf-*
11 @sed '/^#==>$$/,$$d' waf > waf2 && mv waf2 waf
19 cd python && ./setup.py build
22 cd python && ./setup.py clean