--- a/src/Tools/Setup/isabelle/setup/Build.java Sun Jul 11 16:57:30 2021 +0200
+++ b/src/Tools/Setup/isabelle/setup/Build.java Sun Jul 11 20:47:55 2021 +0200
@@ -165,7 +165,11 @@
public String shasum(String file)
throws IOException, NoSuchAlgorithmException, InterruptedException
{
- return shasum(file, List.of(path(file)));
+ Path path = path(file);
+ if (Files.exists(path)) { return shasum(file, List.of(path)); }
+ else {
+ throw new RuntimeException("Missing input file " + Environment.quote(path.toString()));
+ }
}
}