build.xml

<project name="jarsBuilder" default="all">
    <property name="src.dir" value="src"/>
    <property name="bin.dir" value="jar-classes"/>
    <property name="jars.dir" value="jars"/>

    <property name="args4j.path" value="lib/args4j-2.0.21.jar"/>
    <property name="commons.lang3.path" value="lib/commons-lang3-3.1.jar"/>
    <property name="antlr.path" value="lib/antlr-runtime-4.7.1.jar"/>
    
    <property name="main.main" value="nusmv_counterexample_visualizer/ConsoleMain"/>
    <property name="main.jar" value="visualizer-console.jar"/>

    <property name="gui.main" value="nusmv_counterexample_visualizer/GUIMain"/>
    <property name="gui.jar" value="visualizer-gui.jar"/>
    
    <property name="debug" value="true"/>
    
    <target name="all"
            depends="main-jar, gui-jar">
    </target>

    <target name="main-jar">
        <mkdir dir="${bin.dir}"/>
        <javac srcdir="${src.dir}"
               destdir="${bin.dir}"
               classpath="${commons.lang3.path}:${args4j.path}:${antlr.path}"
               includeantruntime="false"
               debug="${debug}">
            <include name="${main.main}.java"/>
        </javac>
        <jar destfile="${jars.dir}/${main.jar}"
             basedir="${bin.dir}">
            <manifest>
                <attribute name="Main-Class" value="${main.main}"/>
            </manifest>
            <zipfileset src="${commons.lang3.path}" excludes="META-INF/*.SF"/>
            <zipfileset src="${args4j.path}" excludes="meta-inf/*.sf"/>
            <zipfileset src="${antlr.path}" excludes="meta-inf/*.sf"/>
        </jar>
        <delete dir="${bin.dir}"/>
    </target>
    
    <target name="gui-jar">
        <mkdir dir="${bin.dir}"/>
        <javac srcdir="${src.dir}"
               destdir="${bin.dir}"
               classpath="${commons.lang3.path}:${args4j.path}:${antlr.path}"
               includeantruntime="false"
               debug="${debug}">
            <include name="${gui.main}.java"/>
        </javac>
        <jar destfile="${jars.dir}/${gui.jar}"
             basedir="${bin.dir}">
            <manifest>
                <attribute name="Main-Class" value="${gui.main}"/>
            </manifest>
            <zipfileset src="${commons.lang3.path}" excludes="META-INF/*.SF"/>
            <zipfileset src="${args4j.path}" excludes="meta-inf/*.sf"/>
            <zipfileset src="${antlr.path}" excludes="meta-inf/*.sf"/>
        </jar>
        <delete dir="${bin.dir}"/>
    </target>
</project>