The Overture Example Packager Tool

View the Project on GitHub overturetool/example-packager

The Overture Example Packager Tool bundles up the VDM packages in the main repository for various purposes (web display, distribution, etc).

Maven coordinates

 <plugin>
  <groupId>org.overturetool.build</groupId>
  <artifactId>example-packager-plugin</artifactId>
  <version>${example-packager.version}</version>
  <configuration>
    <!-- <outputDirectory>${project.build.directory}</outputDirectory> -->
    <!-- <outputPrefix>Examples-</outputPrefix> -->
    <outputZipFiles>true</outputZipFiles>
    <outputWebFiles>true</outputWebFiles>
    <slExamples>
      <param>${project.basedir}/VDMSL</param>
    </slExamples>
    <ppExamples>
      <param>${project.basedir}/VDM++</param>
    </ppExamples>
    <rtExamples>
      <param>${project.basedir}/VDMRT</param>
    </rtExamples>
  </configuration>
  <executions>
    <execution>
      <goals>
        <goal>package-examples</goal>
      </goals>
    </execution>
  </executions>
</plugin>

Authors and Contributors

The primary author of this is Kenneth Lausdahl (@lausdahl), but it has also had contributions from George Kanakis (@gkanos) and Joey Coleman (@joey-coleman).