How to get Java compiler to see class files generated by idris? (gradle project)

[jmanuel1]

Hi there :)

Is there an example using Gradle or Maven of how to compile Java code that depends on Idris code? Or instructions somewhere of how to do it? I know in the docs there's instructions on how to export Idris functions to Java, but I'm having trouble wiring up the dependencies with Gradle.

Thanks

[jmanuel1]

Here's my project https://github.com/jmanuel1/idris-spring-boot-example/tree/micronaut

It's not a minimal example but it doesn't try to do much more than the spring boot example