4.0.0 org.overturetool.vdm2c core 0.1.17-SNAPSHOT ../pom.xml org.overturetool.vdm2c.core vdm2c The C Code Generator junit junit 4.11 org.overturetool.core typechecker ${overture.version} org.overturetool.core.codegen platform ${overture.version} org.overturetool.core.codegen ir ${overture.version} org.overturetool.core testframework ${overture.version} commons-cli commons-cli 1.3 org.slf4j slf4j-api 1.7.16 org.slf4j slf4j-log4j12 1.7.16 src/main/resources true org.apache.maven.plugins maven-assembly-plugin true org.overture.codegen.vdm2c.CGenMain jar-with-dependencies make-my-jar-with-dependencies package single org.apache.maven.plugins maven-javadoc-plugin org.overture.cgc.extast.*:org.overture.cgc.extast.analysis.intf.*:org.overture.cgc.extast.node.*:org.overture.codegen.vdm2c.extast.declarations.*:org.overture.codegen.vdm2c.extast.expressions.* false true org.apache.maven.plugins maven-surefire-plugin false **/*Test.java **/*Test?.java **/*TestSuite.java **/CExamplesTest.java org.overturetool.astcreator astcreator-plugin 1.6.8 generate-ast generate-sources generate ir.ast ccg.ast C true false org.overturetool.core.codegen ir org.codehaus.mojo build-helper-maven-plugin add-source generate-sources add-source ${project.build.directory}/generated-sources/astCreator/ org.eclipse.m2e lifecycle-mapping 1.0.0 org.overturetool.astcreator astcreator-plugin ${astcreator.version} generate A C Code Generator for VDM-RT