4.0.0 org.overturetool.vdm2c c 0.1.17-SNAPSHOT ../pom.xml org.overturetool.vdm2c.c vdmclibdist The C Code Generator VDM distribution library sources src ${project.build.directory}/classes/src false **/*.c **/*.cpp **/*.h **/*.hpp **/ProjectCMakeLists.txt **/README.txt org.apache.maven.plugins maven-antrun-plugin false copy-dependencies test run