From cde992c546719dc75752e8c12f7c7c46c557e654 Mon Sep 17 00:00:00 2001 From: Marimuthu Madasamy Date: Wed, 29 Dec 2021 21:28:24 -0500 Subject: [PATCH] Fix jar packaging --- idris-jvm-compiler/pom.xml | 55 +++++++++++++++++++++++++++++++++++--- 1 file changed, 52 insertions(+), 3 deletions(-) diff --git a/idris-jvm-compiler/pom.xml b/idris-jvm-compiler/pom.xml index 3bf4a9a41..039767146 100644 --- a/idris-jvm-compiler/pom.xml +++ b/idris-jvm-compiler/pom.xml @@ -23,6 +23,44 @@ ${project.parent.basedir}/src + + maven-jar-plugin + + + default-jar + none + + unwanted + unwanted + + + + + + maven-install-plugin + + + default-install + + install + + + true + + + + custom-install + + install-file + + install + + ${project.build.directory}/${project.artifactId}-${project.version}.jar + pom.xml + + + + org.codehaus.mojo build-helper-maven-plugin @@ -111,8 +149,8 @@ - copy-compiler-jar - compile + version-compiler-jar + process-classes run @@ -122,6 +160,17 @@ tofile="../build/exec/idris2_app/idris-jvm-compiler-${project.version}.jar" failonerror="false" overwrite="true"/> + + + + + copy-compiler-jar + process-classes + + run + + + @@ -150,7 +199,7 @@ idrisOutputScripts - compile + process-classes assemble