Closed ComFreek closed 4 years ago
I completely rebuilt MMT at the commit referenced above using "sbt clean" and then "sbt deploy" -- to no success.
Perhaps this is system-specific:
openjdk version "11.0.2" 2019-01-15
OpenJDK Runtime Environment 18.9 (build 11.0.2+9)
OpenJDK 64-Bit Server VM 18.9 (build 11.0.2+9, mixed mode)
@rappatoni Could you, as another Windows user, perhaps test whether building mmt.jar from the latest devel commit works (via sbt deploy
) and whether the IntelliJ-MMT plugin accepts it?
Silly me - I manually wanted to relocate the mmt.jar and did not edit the multiple locations specfying the mmt.jar in the IntelliJ-MMT project of IntelliJ. Best to not do this manully, mea culpa.
When building the
mmt.jar
from my latest commit at MMT@devel and using it for your IntelliJ-MMT plugin, I get the error below immediately upon project opening. After that happens, the plugin-related panes are not visible anymore. I guess, the plugin completely crashes.