4.0.0 org.overturetool.vdm2c ide 0.1.17-SNAPSHOT ../pom.xml eclipse-plugin org.overturetool.vdm2c.ide org.overturetool.vdm2c.ide.cgen The C Code Generator Plugin org.apache.maven.plugins maven-dependency-plugin copy-dependencies process-sources copy ${basedir}/jars true true true true org.overturetool.core.codegen ir ${overture.version} org.overturetool.core.codegen platform ${overture.version} org.overturetool.vdm2c.core vdm2c ${project.version} org.overturetool.vdm2c.c vdmclib ${project.version} org.overturetool.vdm2c.c vdmclibdist ${project.version} org.apache.velocity velocity 1.7 commons-collections commons-collections 3.2.2 commons-lang commons-lang 2.4 jalopy jalopy 1.5rc3 org.slf4j slf4j-api 1.7.21 log4j log4j 1.2.17 org.slf4j slf4j-log4j12 1.7.21 maven-resources-plugin copy-resources process-classes copy-resources ${project.build.outputDirectory} ${basedir}/target/runtime false org.apache.maven.plugins maven-clean-plugin false ${basedir}/jars false org.eclipse.m2e lifecycle-mapping 1.0.0 org.apache.maven.plugins maven-dependency-plugin [1.0.0,) copy false