Searched refs:move_source_tree (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/ |
H A D | generate-ios-source-and-headers.py | 85 def move_source_tree(src_dir, dest_dir, dest_include_dir, arch=None, prefix=None, suffix=None): function 133 move_source_tree('.', None, '../ios/include', 137 move_source_tree('./include', None, '../ios/include', 148 move_source_tree('src', 'ios/src', 'ios/include') 149 move_source_tree('include', None, 'ios/include')
|
H A D | generate-osx-source-and-headers.py | 79 def move_source_tree(src_dir, dest_dir, dest_include_dir, arch=None, prefix=None, suffix=None): function 126 move_source_tree('.', None, '../osx/include', 130 move_source_tree('./include', None, '../osx/include', 141 move_source_tree('src', 'osx/src', 'osx/include') 142 move_source_tree('include', None, 'osx/include')
|
Completed in 80 milliseconds