A modern programming language that makes developers happier.

kotlinlang

image.png

Has anyone come across this problem? I’m trying to give this meta plugin a go :slightly_smiling_face:

We changed the meta build recently to compile with java 15, do you see the same if you compile with Java 15

The issue we had is that the refined types plugin links to java_smt which is built I believe with Java 11 and we saw some build issue sbut if you want to tweak the github action to use a different JDK we can release another snapshot

Ah, that makes sense. I'll try that :grin:

Ok, yeah switching to JDK 16 seems to do the trick :sweat_smile: I’ll see if I have some time this week to look at whether we can downgrade it :eyes:

thanks would be good to send it back to Java 8 if possible. The issue seemed to be that the java_smt library was built with 11 and we had some linking errors

Yeah, worse case we recompile it and include it with the build and/or help republish it with JDK 8 :crossed_fingers:
(“worsest” case we need to write kotlin_smt)