--- a/src/Pure/Admin/build_csdp.scala Sun Oct 11 13:03:22 2020 +0200
+++ b/src/Pure/Admin/build_csdp.scala Sun Oct 11 13:09:43 2020 +0200
@@ -115,7 +115,7 @@
/* build */
- progress.echo("Building CSDP ...")
+ progress.echo("Building CSDP for " + platform_name + " ...")
val build_dir = tmp_dir + Path.basic(source_name)
build_flags.find(flags => flags.platform == platform_name) match {
--- a/src/Pure/Admin/build_e.scala Sun Oct 11 13:03:22 2020 +0200
+++ b/src/Pure/Admin/build_e.scala Sun Oct 11 13:09:43 2020 +0200
@@ -48,7 +48,7 @@
/* build */
- progress.echo("Building E prover ...")
+ progress.echo("Building E prover for " + platform_name + " ...")
val build_dir = tmp_dir + Path.basic("E")
val build_options =
--- a/src/Pure/Admin/build_spass.scala Sun Oct 11 13:03:22 2020 +0200
+++ b/src/Pure/Admin/build_spass.scala Sun Oct 11 13:09:43 2020 +0200
@@ -79,7 +79,7 @@
/* build */
- progress.echo("Building SPASS ...")
+ progress.echo("Building SPASS for " + platform_name + " ...")
val build_dir = tmp_dir + Path.basic(archive_base_name)
--- a/src/Pure/Admin/build_verit.scala Sun Oct 11 13:03:22 2020 +0200
+++ b/src/Pure/Admin/build_verit.scala Sun Oct 11 13:09:43 2020 +0200
@@ -97,7 +97,7 @@
/* build */
- progress.echo("Building veriT ...")
+ progress.echo("Building veriT for " + platform_name + " ...")
val build_dir = tmp_dir + Path.basic(source_name)