4.0.0
org.overturetool
core
2.6.5-SNAPSHOT
../pom.xml
org.overturetool.core
commandlinetool
Overture Core Command Line Tool
org.overturetool.core
ast
${project.version}
org.overturetool.core
parser
${project.version}
org.overturetool.core
typechecker
${project.version}
org.overturetool.core
pog
${project.version}
org.overturetool.core
testframework
${project.version}
org.overturetool.core
interpreter
${project.version}
src/main/resources
${project.build.directory}
true
overture
overture.bat
src/main/resources/cmd
${project.build.directory}/classes
true
overture
overture.bat
org.apache.maven.plugins
maven-shade-plugin
Overture-${project.version}
false
org.overture.interpreter.VDMJ
package
shade
org.apache.maven.plugins
maven-antrun-plugin
set-executable-bit
package
run
maven-assembly-plugin
true
org.overture.interpreter.VDMJ
jar-with-dependencies
make-my-jar-with-dependencies
package
single