io.github.mmhelloworld idris-jvm 0.8.1 4.0.0 idris-jvm-compiler Idris JVM Compiler 8 8 false false false maven-jar-plugin default-jar package 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 idris-jvm-runtime unpack-runtime-jar process-classes unpack io.github.mmhelloworld idris-jvm-runtime ${project.version} jar true ${project.parent.basedir}/build/exec/idris2_app **/*.class true true org.codehaus.mojo exec-maven-plugin true true read-config validate exec make ${project.parent.basedir} maven-property idris-compile compile exec ${skipIdrisCompile} make ${project.parent.basedir} -Xss92m -Xms3g -Xmx3g jvm idris-install-libs package exec ${skipIdrisInstallLibrary} make ${project.parent.basedir} install jvm -Xss92m -Xms3g -Xmx3g idris-clean clean exec ${skipIdrisClean} make ${project.parent.basedir} clean jvm maven-resources-plugin copy-resources process-classes copy-resources ${project.build.outputDirectory} ${project.parent.basedir}/build/exec/idris2_app **/*.class maven-antrun-plugin delete-runtime-jar process-classes run false 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