https://kotlinlang.org logo
#arrow-meta
Title
# arrow-meta
p

pablisco

08/28/2021, 10:04 PM
Has anyone come across this problem? I’m trying to give this meta plugin a go 🙂
r

raulraja

08/28/2021, 10:48 PM
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
p

pablisco

08/29/2021, 7:07 AM
Ah, that makes sense. I'll try that 😁
Ok, yeah switching to JDK 16 seems to do the trick 😅 I’ll see if I have some time this week to look at whether we can downgrade it 👀
r

raulraja

08/31/2021, 9:48 AM
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
p

pablisco

08/31/2021, 9:54 AM
Yeah, worse case we recompile it and include it with the build and/or help republish it with JDK 8 🤞 (“worsest” case we need to write kotlin_smt)
👍 1
😅 1