Building with Java 9
AljoschaMeyer opened this issue · comments
Running mvn package
fails when using Java version 9, due to ambiguos type references. Java 9 adds java.lang.Module, which conflicts with the unqualified imports of org.kframework.kil.Moule
, e.g. here.
Sorry for not providing java -v
output and the error message, but this error did not happen on my computer. Should be fairly easy to reproduce though, just get mvn package
to use Java 9.
Aricolul lui Andrei si Vlad:
http://www.sciencedirect.com/science/article/pii/S2352220816301390?via%3Dihub#br0370
Dorel
…On 11/01/2018 12:09, Aljoscha Meyer wrote:
Running |mvn package| fails when using Java version 9, due to ambiguos
type references. Java 9 adds java.lang.Module
<https://docs.oracle.com/javase/9/docs/api/java/lang/class-use/Module.html>,
which conflicts with the unqualified imports of
|org.kframework.kil.Moule|, e.g. here
<https://github.com/kframework/k/blob/master/kernel/src/main/java/org/kframework/kil/visitors/Visitor.java#L13>.
Sorry for not providing |java -v| output and the error message, but
this error did not happen on my computer. Should be fairly easy to
reproduce though, just get |mvn package| to use Java 9.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<runtimeverification/k#2393>, or mute the thread
<https://github.com/notifications/unsubscribe-auth/AE3m12W4BvkJptCfhe7AaLPv8mWvccVLks5tJd3HgaJpZM4Ramco>.