parent
09179b9a00
commit
1df6c88576
@ -1 +1 @@
|
||||
waf-1.5.15.stripped.tar.bz2
|
||||
waf-1.5.17.stripped.tar.bz2
|
||||
|
@ -1 +1 @@
|
||||
0367a0d3b499ec27b5c3d296bda8bb0b waf-1.5.15.stripped.tar.bz2
|
||||
a83409465a1d5b0f1cf1b6504db1f015 waf-1.5.17.stripped.tar.bz2
|
||||
|
@ -0,0 +1,15 @@
|
||||
diff --git a/wscript b/wscript
|
||||
index 438dc4c..cc6557b 100644
|
||||
--- a/wscript
|
||||
+++ b/wscript
|
||||
@@ -350,6 +350,10 @@ def build(bld):
|
||||
tools.find_sources_in_dirs('wafadmin/Tools', exts=['.py'])
|
||||
tools.install_path = os.path.join('${PREFIX}', dir, 'Tools')
|
||||
|
||||
+ thirdparty = bld(features = 'py')
|
||||
+ thirdparty.find_sources_in_dirs('wafadmin/3rdparty', exts=['.py'])
|
||||
+ thirdparty.install_path = os.path.join('${PREFIX}', dir, '3rdparty')
|
||||
+
|
||||
bld.install_files('${PREFIX}/bin', 'waf', chmod=0755)
|
||||
|
||||
#print "waf is now installed in %s [%s, %s]" % (prefix, wafadmindir, binpath)
|
Loading…
Reference in new issue