--- a/src/Pure/Admin/build_minisat.scala Fri Apr 01 11:51:42 2022 +0200
+++ b/src/Pure/Admin/build_minisat.scala Fri Apr 01 17:06:10 2022 +0200
@@ -7,8 +7,7 @@
package isabelle
-object Build_Minisat
-{
+object Build_Minisat {
val default_download_url = "https://github.com/stp/minisat/archive/releases/2.2.1.tar.gz"
def make_component_name(version: String): String = "minisat-" + version
@@ -21,10 +20,9 @@
component_name: String = "",
verbose: Boolean = false,
progress: Progress = new Progress,
- target_dir: Path = Path.current): Unit =
- {
- Isabelle_System.with_tmp_dir("build")(tmp_dir =>
- {
+ target_dir: Path = Path.current
+ ): Unit = {
+ Isabelle_System.with_tmp_dir("build")(tmp_dir => {
/* component */
val Archive_Name = """^.*?([^/]+)$""".r
@@ -123,8 +121,7 @@
val isabelle_tool =
Isabelle_Tool("build_minisat", "build prover component from sources", Scala_Project.here,
- args =>
- {
+ args => {
var target_dir = Path.current
var download_url = default_download_url
var component_name = ""