Advertisement
Guest User

Untitled

a guest
Dec 18th, 2014
144
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.93 KB | None | 0 0
  1. #!/usr/bin/env python
  2. from __future__ import print_function
  3. import os
  4. import sys
  5. import platform
  6. from shutil import move
  7. from urllib import urlretrieve
  8.  
  9. WRAPPER_VERSION = '1.8.5'
  10. WAF_FILE = 'build/waf-' + WRAPPER_VERSION
  11. USING_WINDOWS = (platform.system() == 'Windows')
  12.  
  13. def get_waf(version):
  14. filename = 'waf-' + version
  15. url = 'ftp://ftp.waf.io/pub/release/' + filename
  16.  
  17. print('Downloading', filename + '...')
  18. urlretrieve(url, filename)
  19. move(filename, WAF_FILE)
  20.  
  21. def waf_exec():
  22. if USING_WINDOWS:
  23. os.system('python.exe ' + WAF_FILE + ' ' + ' '.join(sys.argv[1:]))
  24. else:
  25. os.system('./' + WAF_FILE + ' ' + ' '.join(sys.argv[1:]))
  26.  
  27. if __name__ == '__main__':
  28. if not os.path.exists('build'):
  29. os.mkdir('build')
  30.  
  31. if os.path.exists(WAF_FILE):
  32. waf_exec()
  33. else:
  34. get_waf(WRAPPER_VERSION)
  35. if not USING_WINDOWS: os.system('chmod +x ' + WAF_FILE)
  36. waf_exec()
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement