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