build.xml

<?xml version="1.0" encoding="UTF-8" standalone="no"?>
<!-- WARNING: Eclipse auto-generated file.
              Any modifications will be overwritten.
              To include a user specific buildfile here, simply create one in the same
              directory with the processing instruction <?eclipse.ant.import?>
              as the first entry and export the buildfile again. --><project basedir="." default="build" name="CARE">
    <property environment="env"/>
    <property name="CARE_Example.location" value="../OrchestrationExample"/>
    <property name="ECLIPSE_HOME" value="../../eclipse/java-2018-09/eclipse/"/>
    <property name="debuglevel" value="source,lines,vars"/>
    <property name="target" value="9"/>
    <property name="source" value="9"/>
    <path id="Maven Dependencies.libraryclasspath">
        <pathelement location="../../.m2/repository/io/github/davidebasile/ContractAutomataLib/0.0.1/ContractAutomataLib-0.0.1.jar"/>
        <pathelement location="../../.m2/repository/org/json/json/20210307/json-20210307.jar"/>
        <pathelement location="../../.m2/repository/org/ow2/sat4j/org.ow2.sat4j.core/2.3.4/org.ow2.sat4j.core-2.3.4.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/plugins/maven-gpg-plugin/3.0.1/maven-gpg-plugin-3.0.1.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/maven-plugin-api/3.0/maven-plugin-api-3.0.jar"/>
        <pathelement location="../../.m2/repository/org/sonatype/sisu/sisu-inject-plexus/1.4.2/sisu-inject-plexus-1.4.2.jar"/>
        <pathelement location="../../.m2/repository/org/sonatype/sisu/sisu-inject-bean/1.4.2/sisu-inject-bean-1.4.2.jar"/>
        <pathelement location="../../.m2/repository/org/sonatype/sisu/sisu-guice/2.1.7/sisu-guice-2.1.7-noaop.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/maven-core/3.0/maven-core-3.0.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/maven-settings-builder/3.0/maven-settings-builder-3.0.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/maven-repository-metadata/3.0/maven-repository-metadata-3.0.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/maven-aether-provider/3.0/maven-aether-provider-3.0.jar"/>
        <pathelement location="../../.m2/repository/org/sonatype/aether/aether-impl/1.7/aether-impl-1.7.jar"/>
        <pathelement location="../../.m2/repository/org/sonatype/aether/aether-spi/1.7/aether-spi-1.7.jar"/>
        <pathelement location="../../.m2/repository/org/sonatype/aether/aether-api/1.7/aether-api-1.7.jar"/>
        <pathelement location="../../.m2/repository/org/sonatype/aether/aether-util/1.7/aether-util-1.7.jar"/>
        <pathelement location="../../.m2/repository/org/codehaus/plexus/plexus-interpolation/1.14/plexus-interpolation-1.14.jar"/>
        <pathelement location="../../.m2/repository/org/codehaus/plexus/plexus-classworlds/2.2.3/plexus-classworlds-2.2.3.jar"/>
        <pathelement location="../../.m2/repository/org/codehaus/plexus/plexus-component-annotations/1.5.5/plexus-component-annotations-1.5.5.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/maven-artifact/3.0/maven-artifact-3.0.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/maven-model/3.0/maven-model-3.0.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/maven-model-builder/3.0/maven-model-builder-3.0.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/maven-settings/3.0/maven-settings-3.0.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/shared/maven-artifact-transfer/0.12.0/maven-artifact-transfer-0.12.0.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/shared/maven-common-artifact-filters/3.0.1/maven-common-artifact-filters-3.0.1.jar"/>
        <pathelement location="../../.m2/repository/org/apache/maven/shared/maven-shared-utils/3.1.0/maven-shared-utils-3.1.0.jar"/>
        <pathelement location="../../.m2/repository/commons-io/commons-io/2.5/commons-io-2.5.jar"/>
        <pathelement location="../../.m2/repository/commons-codec/commons-codec/1.11/commons-codec-1.11.jar"/>
        <pathelement location="../../.m2/repository/org/slf4j/slf4j-api/1.7.5/slf4j-api-1.7.5.jar"/>
        <pathelement location="../../.m2/repository/org/codehaus/plexus/plexus-utils/3.3.0/plexus-utils-3.3.0.jar"/>
        <pathelement location="../../.m2/repository/org/sonatype/plexus/plexus-sec-dispatcher/1.4/plexus-sec-dispatcher-1.4.jar"/>
        <pathelement location="../../.m2/repository/org/sonatype/plexus/plexus-cipher/1.4/plexus-cipher-1.4.jar"/>
        <pathelement location="../../.m2/repository/junit/junit/3.8.1/junit-3.8.1.jar"/>
    </path>
    <path id="CARE.classpath">
        <pathelement location="target/classes"/>
        <pathelement location="target/test-classes"/>
        <path refid="Maven Dependencies.libraryclasspath"/>
    </path>
    <target name="init">
        <mkdir dir="target/classes"/>
        <mkdir dir="target/test-classes"/>
        <copy includeemptydirs="false" todir="target/classes">
            <fileset dir="src/main/java">
                <exclude name="**/*.launch"/>
                <exclude name="**/*.java"/>
            </fileset>
        </copy>
        <copy includeemptydirs="false" todir="target/test-classes">
            <fileset dir="src/test/java">
                <exclude name="**/*.launch"/>
                <exclude name="**/*.java"/>
            </fileset>
        </copy>
    </target>
    <target name="clean">
        <delete dir="target/classes"/>
        <delete dir="target/test-classes"/>
    </target>
    <target depends="clean" name="cleanall"/>
    <target depends="build-subprojects,build-project" name="build"/>
    <target name="build-subprojects"/>
    <target depends="init" name="build-project">
        <echo message="${ant.project.name}: ${ant.file}"/>
        <javac debug="true" debuglevel="${debuglevel}" destdir="target/classes" includeantruntime="false" source="${source}" target="${target}">
            <src path="src/main/java"/>
            <classpath refid="CARE.classpath"/>
        </javac>
        <javac debug="true" debuglevel="${debuglevel}" destdir="target/test-classes" includeantruntime="false" source="${source}" target="${target}">
            <src path="src/test/java"/>
            <classpath refid="CARE.classpath"/>
        </javac>
    </target>
    <target description="Build all projects which reference this project. Useful to propagate changes." name="build-refprojects">
        <ant antfile="build.xml" dir="${CARE_Example.location}" inheritAll="false" target="clean"/>
        <ant antfile="build.xml" dir="${CARE_Example.location}" inheritAll="false" target="build">
            <propertyset>
                <propertyref name="build.compiler"/>
            </propertyset>
        </ant>
    </target>
    <target description="copy Eclipse compiler jars to ant lib directory" name="init-eclipse-compiler">
        <copy todir="${ant.library.dir}">
            <fileset dir="${ECLIPSE_HOME}/plugins" includes="org.eclipse.jdt.core_*.jar"/>
        </copy>
        <unzip dest="${ant.library.dir}">
            <patternset includes="jdtCompilerAdapter.jar"/>
            <fileset dir="${ECLIPSE_HOME}/plugins" includes="org.eclipse.jdt.core_*.jar"/>
        </unzip>
    </target>
    <target description="compile project with Eclipse compiler" name="build-eclipse-compiler">
        <property name="build.compiler" value="org.eclipse.jdt.core.JDTCompilerAdapter"/>
        <antcall target="build"/>
    </target>
</project>