Searched refs:move_source_tree (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dgenerate-ios-source-and-headers.py85 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 Dgenerate-osx-source-and-headers.py79 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