Searched refs:base_isabelle_bin (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tools/ |
| H A D | release.py | 353 base_isabelle_bin = os.path.join(base_isabelle_dir, "bin", "isabelle") variable
354 assert os.path.exists(base_isabelle_bin)
377 build_docs(target_dir, base_isabelle_bin)
390 subprocess.check_call([base_isabelle_bin, "version"], cwd=target_dir)
392 subprocess.check_call([base_isabelle_bin, "build", "-d", ".", "-v",
|
Completed in 43 milliseconds