Commit 42f1ebdc authored by Daniel Le Berre's avatar Daniel Le Berre

Added target to build the parallel PB solver.


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@710 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 39592e6e
......@@ -64,6 +64,31 @@
</antcall>
</target>
<target name="multicore" depends="pseudo" description="Build a jar file with a parallel pseudo boolean solver">
<echo>Building Parallel Pseudo Boolean Solver</echo>
<antcall target="build">
<param name="package" value="multicore"/>
<param name="src" value="org.sat4j.multicore/src/main/java" />
<param name="jarname" value="org.sat4j.multicore"/>
<param name="mainclass" value="org.sat4j.multicore.MultiCoreLauncher"/>
</antcall>
<antcall target="source-package">
<param name="package" value="multicore"/>
<param name="src" value="org.sat4j.multicore/src/main/java" />
<param name="jarname" value="org.sat4j.multicore"/>
</antcall>
<echo>Create All-In-One auto-executable package</echo>
<jar destfile="${dist}/${release}/sat4j-multicore.jar" basedir="${build}" manifest="${build}/META-INF/MANIFEST.MF">
<zipgroupfileset dir="${dist}/${release}">
<include name="org.sat4j.core.jar"/>
<include name="org.sat4j.pb.jar"/>
</zipgroupfileset>
</jar>
<antcall target="zip-bundle">
<param name="package" value="multicore"/>
</antcall>
</target>
<target name="intervalorders" depends="pseudo" description="Build the interval order agregation tool from current source tree">
<echo>Building Interval Order tool</echo>
<antcall target="build">
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment