io.github.mmhelloworld idris-jvm 0.5.1.2 4.0.0 idris-jvm-compiler Idris JVM Compiler 8 8 false false false org.codehaus.mojo properties-maven-plugin initialize read-project-properties ${project.build.outputDirectory}/config.properties maven-compiler-plugin ${java.version} ${java.version} maven-jar-plugin default-jar compile maven-install-plugin default-install install org.codehaus.mojo build-helper-maven-plugin generate-sources add-source ${project.parent.basedir}/src ${project.parent.basedir}/libs maven-dependency-plugin process-resources copy-dependencies ${project.parent.basedir}/tests/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 idris-install-libs package exec ${skipIdrisInstallLibrary} make ${project.parent.basedir} install idris-clean clean exec ${skipIdrisClean} make ${project.parent.basedir} clean maven-antrun-plugin version-compiler-jar process-classes run copy-compiler-jar process-classes run org.codehaus.mojo appassembler-maven-plugin idrisOutputScripts process-classes assemble exec exec/idris2_app flat ${project.parent.basedir}/build -Xss70m -Xms3g -Xmx3g idris2.Main idris2 package prepare-package assemble lib flat ${project.build.directory}/assembly -Xss70m -Xms3g -Xmx3g idris2.Main idris2 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