UniFormal / MMT

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

Fix Scala & SBT incompatbility with JDK >= 13 #491

Closed ComFreek closed 4 years ago

ComFreek commented 4 years ago

Not sure if that breaks anything. At least MMT compiles with it

Also note that it doesn't work with Scala 1.13.1 due to the Scala Compiler option (apparently passed to scalac by sbt?) -Xmax-classfile-name is not recognized and errored with Bad Option.


Previously, upon importing the SBT project in IntelliJ you would get

java.io.IOError: java.lang.RuntimeException: /packages cannot be represented as URI

with OpenJDK 13.0.1 and the Scala & SBT versions as specified in the changed files.

See scala/bug#11608 and sbt/sbt#5093.