equal
deleted
inserted
replaced
59 for { (rev, exe) <- List(version1 -> "vampire", version2 -> "vampire_polymorphic") } { |
59 for { (rev, exe) <- List(version1 -> "vampire", version2 -> "vampire_polymorphic") } { |
60 progress.echo("Building " + exe + " (rev " + rev + ")") |
60 progress.echo("Building " + exe + " (rev " + rev + ")") |
61 progress.bash("git checkout --quiet --detach " + Bash.string(rev), |
61 progress.bash("git checkout --quiet --detach " + Bash.string(rev), |
62 cwd = source_dir.file, echo = verbose).check |
62 cwd = source_dir.file, echo = verbose).check |
63 |
63 |
64 val build_dir = Isabelle_System.make_directory(source_dir + Path.explode("build")) |
64 val build_dir = source_dir + Path.explode("build") |
|
65 Isabelle_System.rm_tree(build_dir) |
|
66 Isabelle_System.make_directory(build_dir) |
65 |
67 |
66 val cmake_opts = if (Platform.is_linux) "-DBUILD_SHARED_LIBS=0 " else "" |
68 val cmake_opts = if (Platform.is_linux) "-DBUILD_SHARED_LIBS=0 " else "" |
67 val cmake_out = |
69 val cmake_out = |
68 progress.bash("cmake " + cmake_opts + """-G "Unix Makefiles" ..""", |
70 progress.bash("cmake " + cmake_opts + """-G "Unix Makefiles" ..""", |
69 cwd = build_dir.file, echo = verbose).check.out |
71 cwd = build_dir.file, echo = verbose).check.out |