equal
deleted
inserted
replaced
16 |
16 |
17 def build_spass( |
17 def build_spass( |
18 download_url: String = default_download_url, |
18 download_url: String = default_download_url, |
19 verbose: Boolean = false, |
19 verbose: Boolean = false, |
20 progress: Progress = new Progress, |
20 progress: Progress = new Progress, |
21 target_dir: Path = Path.current) |
21 target_dir: Path = Path.current): Unit = |
22 { |
22 { |
23 Isabelle_System.with_tmp_dir("build")(tmp_dir => |
23 Isabelle_System.with_tmp_dir("build")(tmp_dir => |
24 { |
24 { |
25 Isabelle_System.require_command("bison", "flex") |
25 Isabelle_System.require_command("bison", "flex") |
26 |
26 |