Description

<dependency>
    <groupId>org.overturetool</groupId>
    <artifactId>examples</artifactId>
    <version>2.2.6</version>
</dependency>

<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/maven-v4_0_0.xsd">
  <modelVersion>4.0.0</modelVersion>

  <parent>
    <groupId>org.overturetool</groupId>
    <artifactId>externals</artifactId>
    <version>2.2.6</version>
    <relativePath>../pom.xml</relativePath>
  </parent>

  <artifactId>examples</artifactId>
  <packaging>jar</packaging>
  <name>Overture Examples Jar File</name>

  <properties>
    <repo.root>${project.basedir}/../..</repo.root>
    <examples.root>${repo.root}/externals/documentation/target/documentation-master/examples</examples.root>
    <libs.root>${repo.root}/documentation/examples/</libs.root>
  </properties>
  
  <build>
    <resources>
      <resource>
        <directory>${examples.root}</directory>
        <targetPath>${project.build.directory}/classes/examples/</targetPath>
        <includes>
          <include>**/*.vdmsl</include>
          <include>**/*.vdmpp</include>
          <include>**/*.vdmrt</include>
          <include>**/README.txt</include>
        </includes>
        <excludes>
          <exclude>target/**</exclude>
        </excludes>
      </resource>
      <resource>
        <directory>${libs.root}</directory>
        <targetPath>${project.build.directory}/classes/examples/</targetPath>
        <includes>
          <include>**/*.vdmsl</include>
          <include>**/*.vdmpp</include>
          <include>**/*.vdmrt</include>
          <include>**/README.txt</include>
        </includes>
        <excludes>
          <exclude>target/**</exclude>
        </excludes>
      </resource>
    </resources>

    <plugins>
      <plugin>
        <!-- The purpose of this is to generate a couple of index
             files for the vdm examples and libs that get packed into
             this jarfile. -jwc/05Aug2014
        -->
        <artifactId>maven-antrun-plugin</artifactId>
        <executions>
          <execution>
            <phase>process-resources</phase>
            <goals>
              <goal>run</goal>
            </goals>
            <configuration>
              <target>
                <fileset id="vdm-lib-sl-set" dir="${project.build.directory}/classes/examples/libs/SL" />
                <pathconvert pathsep="${line.separator}" property="vdm-libs-sl" refid="vdm-lib-sl-set">
                  <map from="${project.build.directory}/classes" to="" />
                </pathconvert>
                <echo file="${project.build.directory}/classes/examples/vdm-libs-sl.index">${vdm-libs-sl}</echo>

                <fileset id="vdm-lib-pp-set" dir="${project.build.directory}/classes/examples/libs/PP" />
                <pathconvert pathsep="${line.separator}" property="vdm-libs-pp" refid="vdm-lib-pp-set">
                  <map from="${project.build.directory}/classes" to="" />
                </pathconvert>
                <echo file="${project.build.directory}/classes/examples/vdm-libs-pp.index">${vdm-libs-pp}</echo>

                <fileset id="vdm-lib-rt-set" dir="${project.build.directory}/classes/examples/libs/RT" />
                <pathconvert pathsep="${line.separator}" property="vdm-libs-rt" refid="vdm-lib-rt-set">
                  <map from="${project.build.directory}/classes" to="" />
                </pathconvert>
                <echo file="${project.build.directory}/classes/examples/vdm-libs-rt.index">${vdm-libs-rt}</echo>

                <fileset id="vdm-example-sl-set" dir="${project.build.directory}/classes/examples/VDMSL">
                  <include name="**/*.vdmsl" />
                  <include name="**/README.txt" />
                  <exclude name="libs/**" />
                </fileset>
                <pathconvert pathsep="${line.separator}" property="vdm-examples-sl" refid="vdm-example-sl-set">
                  <map from="${project.build.directory}/classes" to="" />
                </pathconvert>
                <echo file="${project.build.directory}/classes/examples/vdm-examples-sl.index">${vdm-examples-sl}</echo>

                <fileset id="vdm-example-pp-set" dir="${project.build.directory}/classes/examples/VDM++">
                  <include name="**/*.vdmpp" />
                  <include name="**/README.txt" />
                  <exclude name="libs/**" />
                </fileset>
                <pathconvert pathsep="${line.separator}" property="vdm-examples-pp" refid="vdm-example-pp-set">
                  <map from="${project.build.directory}/classes" to="" />
                </pathconvert>
                <echo file="${project.build.directory}/classes/examples/vdm-examples-pp.index">${vdm-examples-pp}</echo>

                <fileset id="vdm-example-rt-set" dir="${project.build.directory}/classes/examples/VDMRT">
                  <include name="**/*.vdmrt" />
                  <include name="**/README.txt" />
                  <exclude name="libs/**" />
                </fileset>
                <pathconvert pathsep="${line.separator}" property="vdm-examples-rt" refid="vdm-example-rt-set">
                  <map from="${project.build.directory}/classes" to="" />
                </pathconvert>
                <echo file="${project.build.directory}/classes/examples/vdm-examples-rt.index">${vdm-examples-rt}</echo>
              </target>
            </configuration>
          </execution>
        </executions>
      </plugin>
    </plugins>
  </build>
</project>