Workaround until MMTs run-file script is fixed, see UniFormal/MMT#589

UFrameIT · Jul 17, 2024 · 4aefa23 · 4aefa23
1 parent e553a2a
commit 4aefa23
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/build.sh b/build.sh
@@ -1,5 +1,5 @@
 #!/bin/sh
 set -euxo pipefail
 
-../MMT/deploy/run-file build.msl
-#java -Xmx8192m -cp "../MMT/deploy/mmt.jar" info.kwarc.mmt.api.frontend.Run :file build.msl
+#../MMT/deploy/run-file build.msl
+java -Xmx8192m -cp "../MMT/deploy/mmt.jar" info.kwarc.mmt.api.frontend.Run :file build.msl