Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- #!/usr/bin/env python
- from __future__ import print_function
- import os
- import sys
- import platform
- from shutil import move
- from urllib import urlretrieve
- WRAPPER_VERSION = '1.8.5'
- WAF_FILE = 'build/waf-' + WRAPPER_VERSION
- USING_WINDOWS = (platform.system() == 'Windows')
- def get_waf(version):
- filename = 'waf-' + version
- url = 'ftp://ftp.waf.io/pub/release/' + filename
- print('Downloading', filename + '...')
- urlretrieve(url, filename)
- move(filename, WAF_FILE)
- def waf_exec():
- if USING_WINDOWS:
- os.system('python.exe ' + WAF_FILE + ' ' + ' '.join(sys.argv[1:]))
- else:
- os.system('./' + WAF_FILE + ' ' + ' '.join(sys.argv[1:]))
- if __name__ == '__main__':
- if not os.path.exists('build'):
- os.mkdir('build')
- if os.path.exists(WAF_FILE):
- waf_exec()
- else:
- get_waf(WRAPPER_VERSION)
- if not USING_WINDOWS: os.system('chmod +x ' + WAF_FILE)
- waf_exec()
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement