# HG changeset patch
# User wenzelm
# Date 1625846163 -7200
# Node ID 2b9ae1aa92579283980a03374a20c826b58761be
# Parent  a3a64aab815a20e26844557338cf19d81c814e6d
skip scalac for Java build;

diff -r a3a64aab815a -r 2b9ae1aa9257 src/Tools/Setup/isabelle/setup/Build.java
--- a/src/Tools/Setup/isabelle/setup/Build.java	Fri Jul 09 14:43:41 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java	Fri Jul 09 17:56:03 2021 +0200
@@ -165,11 +165,17 @@
         args.add("-bootclasspath");
         args.add(Environment.join_paths(deps));
         args.add("--");
-        for (Path p : sources) { args.add(p.toString()); }
 
-        MainClass main = new MainClass();
-        boolean ok = main.process(args.toArray(String[]::new));
-        if (!ok) throw new RuntimeException("Failed to compile Scala sources");
+        boolean scala_sources = false;
+        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");
+        }
     }
 
     public static void compile_java_sources(