io.github.mmhelloworld idris-jvm 0.6.0-rc.1 4.0.0 idris-jvm-compiler Idris JVM Compiler 8 8 false false false maven-compiler-plugin ${java.version} ${java.version} maven-jar-plugin default-jar compile maven-install-plugin default-install install org.codehaus.mojo properties-maven-plugin initialize read-project-properties ${project.build.outputDirectory}/config.properties org.codehaus.mojo build-helper-maven-plugin generate-sources add-source ${project.parent.basedir}/src ${project.parent.basedir}/libs maven-dependency-plugin compile copy-dependencies compile ${project.parent.basedir}/build/exec/idris2_app org.codehaus.mojo exec-maven-plugin read-config validate exec make ${project.parent.basedir} maven-property idris-compile compile exec ${skipIdrisCompile} make ${project.parent.basedir} support idris2-exec -Xss70m -Xms3g -Xmx3g jvm runtime-jar-cleanup process-test-classes java ${skipIdrisCompile} io.github.mmhelloworld.idrisjvm.compiler.RuntimeJarCleanup test ${project.parent.basedir}/build/exec/idris2_app idris-install-libs package exec ${skipIdrisInstallLibrary} make ${project.parent.basedir} install jvm -Xss70m -Xms3g -Xmx3g idris-clean clean exec ${skipIdrisClean} make ${project.parent.basedir} clean jvm maven-antrun-plugin copy-compiler-jar process-classes run maven-assembly-plugin create-zip package single false src/assembly/bin.xml idris2-${project.version} org.apache.maven.plugins maven-source-plugin attach-sources jar-no-fork **/build/** **/*.md org.apache.maven.plugins maven-javadoc-plugin attach-javadocs jar io.github.mmhelloworld idris-jvm-runtime ${project.version} io.github.mmhelloworld idris-jvm-assembler ${project.version} org.ow2.asm asm org.apache.maven maven-artifact test