1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58
|
#!/usr/bin/env python3
# Copyright 2019 The Emscripten Authors. All rights reserved.
# Emscripten is available under two separate licenses, the MIT license and the
# University of Illinois/NCSA Open Source License. Both these licenses can be
# found in the LICENSE file.
import os
import sys
import shutil
script_dir = os.path.abspath(os.path.dirname(__file__))
local_src = os.path.join(script_dir, 'libcxx')
local_inc = os.path.join(os.path.dirname(script_dir), 'include', 'libcxx')
preserve_files = ('readme.txt', 'symbols')
def clean_dir(dirname):
for f in os.listdir(dirname):
if f in preserve_files:
continue
full = os.path.join(dirname, f)
if os.path.isdir(full):
shutil.rmtree(full)
else:
os.remove(full)
def copy_tree(upstream_dir, local_dir):
for f in os.listdir(upstream_dir):
full = os.path.join(upstream_dir, f)
if os.path.isdir(full):
shutil.copytree(full, os.path.join(local_dir, f))
else:
shutil.copy2(full, os.path.join(local_dir, f))
def main():
llvm_dir = os.path.abspath(sys.argv[1])
libcxx_dir = os.path.join(llvm_dir, 'libcxx')
upstream_inc = os.path.join(libcxx_dir, 'include')
upstream_src = os.path.join(libcxx_dir, 'src')
assert os.path.exists(upstream_inc)
assert os.path.exists(upstream_src)
# Remove old version
clean_dir(local_src)
clean_dir(local_inc)
copy_tree(upstream_inc, local_inc)
copy_tree(upstream_src, local_src)
shutil.copy2(os.path.join(libcxx_dir, 'CREDITS.TXT'), local_src)
shutil.copy2(os.path.join(libcxx_dir, 'LICENSE.TXT'), local_src)
if __name__ == '__main__':
main()
|