Commit cf0a30ad authored by Daniel Le Berre's avatar Daniel Le Berre

Added a task to build br4cp archive.


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1960 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 586edc12
......@@ -11,6 +11,28 @@
<property name="tag" value="HEAD"/>
<property name="lib" value="lib"/>
<property name="next.eclipse.release.date" value="June, 2010"/>
<target name="br4cp" depends="core" description="Build a jar file for the BR4CP French ANR from the source tree">
<echo>Building BR4CP tool</echo>
<antcall target="build">
<param name="package" value="br4cp"/>
<param name="src" value="org.sat4j.br4cp/src/main/java" />
<param name="jarname" value="org.sat4j.br4cp"/>
</antcall>
<antcall target="source-package">
<param name="package" value="br4cp"/>
<param name="src" value="org.sat4j.br4cp/src/main/java" />
<param name="jarname" value="org.sat4j.br4cp"/>
</antcall>
<echo>Create All-In-One auto-executable package</echo>
<jar destfile="${dist}/${release}/sat4j-br4cp.jar" basedir="${build}" manifest="${build}/META-INF/MANIFEST.MF">
<zipgroupfileset dir="${dist}/${release}">
<include name="org.sat4j.core.jar"/>
</zipgroupfileset>
</jar>
<antcall target="zip-bundle">
<param name="package" value="br4cp"/>
</antcall>
</target>
<target name="pseudo" depends="core" description="Build a jar file suitable for the PB evaluations from current source tree">
<echo>Building Pseudo Boolean Solver</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