changeset 178:9da5246fc50c

Makefile.inc: add getwaf / expandwaf rules
author Paul Brossier <piem@piem.org>
date Mon, 13 Feb 2017 17:42:53 +0100
parents c5ad52c1bc9a
children 126597b25b28
files Makefile.inc
diffstat 1 files changed, 18 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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*