src/Tools/Setup/isabelle/setup/Build.java

 
 package isabelle.setup;
 
 
 import java.io.BufferedOutputStream;
+import java.io.ByteArrayOutputStream;
+import java.io.CharArrayWriter;
 import java.io.File;
 import java.io.IOException;
+import java.io.PrintStream;
 import java.math.BigInteger;
 import java.nio.charset.StandardCharsets;
 import java.nio.file.Files;
 import java.nio.file.Path;
 import java.nio.file.StandardCopyOption;

 import javax.tools.JavaFileObject;
 import javax.tools.StandardJavaFileManager;
 import javax.tools.ToolProvider;
 
 import scala.tools.nsc.MainClass;
+import scala.tools.nsc.reporters.ConsoleReporter;
+import scala.util.control.Exception;
 
 
 public class Build
 {
     /** context **/

     {
         if (options != null) {
             for (String s : options.split("\\s+")) {
                 if (!s.isEmpty()) { options_list.add(s); }
             }
+        }
+    }
+
+    private static void compiler_result(boolean ok, String out, String what)
+    {
+        if (ok) { if (!out.isEmpty()) { System.err.println(out); } }
+        else {
+            String msg = "Failed to compile " + what + (out.isEmpty() ? "" : ":\n" + out);
+            throw new RuntimeException(msg);
         }
     }
 
     public static void compile_scala_sources(
         Path target_dir, String more_options, List<Path> deps, List<Path> sources)

         for (Path p : sources) {
             args.add(p.toString());
             if (p.toString().endsWith(".scala")) { scala_sources = true; }
         }
         if (scala_sources) {
-            MainClass main = new MainClass();
-            boolean ok = main.process(args.toArray(String[]::new));
-            if (!ok) throw new RuntimeException("Failed to compile Scala sources");
+            boolean ok = false;
+
+            PrintStream out_orig = System.out;
+            PrintStream err_orig = System.err;
+            ByteArrayOutputStream out = new ByteArrayOutputStream();
+            PrintStream out_stream = new PrintStream(out);
+
+            // Single-threaded context!
+            try {
+                System.setOut(out_stream);
+                System.setErr(out_stream);
+                ok = new MainClass().process(args.toArray(String[]::new));
+            }
+            finally {
+                System.setOut(out_orig);
+                System.setErr(err_orig);
+            }
+            compiler_result(ok, out.toString(), "Scala sources");
         }
     }
 
     public static void compile_java_sources(
         Path target_dir, String more_options, List<Path> deps, List<Path> sources)

                 for (JavaFileObject o : file_manager.getJavaFileObjectsFromPaths(List.of(p))) {
                     java_sources.add(o);
                 }
             }
         }
+
         if (!java_sources.isEmpty()) {
-            boolean ok = compiler.getTask(null, file_manager, null, options, null, java_sources).call();
-            if (!ok) throw new RuntimeException("Failed to compile Java sources");
+            CharArrayWriter out = new CharArrayWriter();
+            boolean ok = compiler.getTask(out, file_manager, null, options, null, java_sources).call();
+            compiler_result(ok, out.toString(), "Java sources");
         }
     }
 
 
     /** shasum for jar content **/