118 result = path.join(isabelle_home, 'heaps') |
118 result = path.join(isabelle_home, 'heaps') |
119 return (return_code == 0, extract_isabelle_run_summary(log), |
119 return (return_code == 0, extract_isabelle_run_summary(log), |
120 {'timing': extract_isabelle_run_timing(log)}, {'log': log}, result) |
120 {'timing': extract_isabelle_run_timing(log)}, {'log': log}, result) |
121 |
121 |
122 |
122 |
|
123 def isabelle_make(subdir, env, case, paths, dep_paths, playground, more_settings='', target='all'): |
|
124 |
|
125 isabelle_home = paths[0] |
|
126 dep_path = dep_paths[0] if dep_paths else None |
|
127 prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path, more_settings=more_settings) |
|
128 os.chdir(path.join(isabelle_home, subdir)) |
|
129 |
|
130 (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'make', '-k', target) |
|
131 |
|
132 return (return_code == 0, extract_isabelle_run_summary(log), |
|
133 {'timing': extract_isabelle_run_timing(log)}, {'log': log}, None) |
|
134 |
|
135 |
123 def isabelle_makeall(env, case, paths, dep_paths, playground, more_settings='', target='all'): |
136 def isabelle_makeall(env, case, paths, dep_paths, playground, more_settings='', target='all'): |
124 |
137 |
125 isabelle_home = paths[0] |
138 isabelle_home = paths[0] |
126 dep_path = dep_paths[0] |
139 dep_path = dep_paths[0] if dep_paths else None |
127 prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path, more_settings=more_settings) |
140 prepare_isabelle_repository(isabelle_home, env.settings.contrib, dep_path, more_settings=more_settings) |
128 os.chdir(isabelle_home) |
141 os.chdir(isabelle_home) |
129 |
142 |
130 (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'makeall', '-k', target) |
143 (return_code, log) = env.run_process('%s/bin/isabelle' % isabelle_home, 'makeall', '-k', target) |
131 |
144 |