equal
deleted
inserted
replaced
96 keep_results = kwargs.get('keep_results', True) |
96 keep_results = kwargs.get('keep_results', True) |
97 timeout = kwargs.get('timeout', DEFAULT_TIMEOUT) |
97 timeout = kwargs.get('timeout', DEFAULT_TIMEOUT) |
98 |
98 |
99 isabelle_home = paths[0] |
99 isabelle_home = paths[0] |
100 |
100 |
|
101 home_user_dir = path.join(isabelle_home, 'home_user') |
|
102 os.makedirs(home_user_dir) |
|
103 |
101 # copy over build results from dependencies |
104 # copy over build results from dependencies |
102 heap_dir = path.join(isabelle_home, 'heaps') |
105 heap_dir = path.join(isabelle_home, 'heaps') |
103 classes_dir = path.join(heap_dir, 'classes') |
106 classes_dir = path.join(heap_dir, 'classes') |
104 home_user_dir = path.join(isabelle_home, 'home_user') |
|
105 os.makedirs(classes_dir) |
107 os.makedirs(classes_dir) |
106 |
108 |
107 for dep_path in dep_paths: |
109 for dep_path in dep_paths: |
108 subprocess.check_call(['cp', '-a'] + glob(dep_path + '/*') + [heap_dir]) |
110 subprocess.check_call(['cp', '-a'] + glob(dep_path + '/*') + [heap_dir]) |
109 |
111 |