search

UniFormal / MMT

The MMT Language and System
https://uniformal.github.io/
Other
68 stars 23 forks source link

fix deploy/run-file #589

Open bessw opened 2 months ago

bessw commented 2 months ago

removed conflicting lib folder from class path as it is not used anymore.

See this matrix message and the following conversation @florian-rabe

MMT/deploy/run-file chrashes with the following error when running it on the git-bash for windows (couldn't test unix bash):

$ ../MMT/deploy/run-file build.msl
Fehler: Hauptklasse info.kwarc.mmt.api.frontend.Run konnte nicht gefunden oder geladen werden
Ursache: java.lang.ClassNotFoundException: info.kwarc.mmt.api.frontend.Run

When comparing it with the cmd version the class path differs:

cmd:

call java -Xmx1024m -cp %~dp0/mmt.jar info.kwarc.mmt.api.frontend.Run :file %1

bash:

dir="$(dirname $0)"
java -Xmx8192m -cp "$dir/lib/*:$dir/mmt.jar" info.kwarc.mmt.api.frontend.Run :file $1

The bash version works when I remove $dir/lib/*: from the class path.