io.github.mmhelloworld idris-jvm 0.8.3 4.0.0 idris-jvm-assembler Idris JVM Assembler src/main/resources true org.apache.maven.plugins maven-source-plugin attach-sources jar-no-fork org.apache.maven.plugins maven-javadoc-plugin attach-javadocs jar maven-dependency-plugin unpack-runtime-jar process-classes unpack io.github.mmhelloworld idris-jvm-runtime ${project.version} jar true ${project.build.outputDirectory}/runtimeclasses **/*.class true true io.github.mmhelloworld idris-jvm-runtime ${project.version} org.ow2.asm asm org.assertj assertj-core test org.junit.jupiter junit-jupiter-api test org.junit.jupiter junit-jupiter-engine test org.junit.jupiter junit-jupiter-params test