Commit 5482568b authored by Daniel Le Berre's avatar Daniel Le Berre

added target for the remote control

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1213 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent d22d66f1
......@@ -152,6 +152,37 @@
</antcall>
</target>
<target name="remote" depends="core,pseudo" description="Build a jar file suitable for build the incredible sat4j remote control">
<echo>Building the Java SAT Solvers toolkit</echo>
<antcall target="build">
<param name="package" value="sat"/>
<param name="src" value="org.sat4j.sat/src/main/java" />
<param name="jarname" value="org.sat4j.sat"/>
</antcall>
<antcall target="source-package">
<param name="package" value="sat"/>
<param name="src" value="org.sat4j.sat/src/main/java" />
<param name="jarname" value="org.sat4j.sat"/>
</antcall>
<echo>Create All-In-One auto-executable package</echo>
<jar destfile="${dist}/${release}/sat4j-remotecontrol.jar" basedir="${build}">
<manifest>
<attribute name="Built-By" value="Stephanie Roussel"/>
<attribute name="Main-Class" value="org.sat4j.sat.LaunchRemoteControl"/>
</manifest>
<zipgroupfileset dir="${dist}/${release}">
<include name="org.sat4j.core.jar"/>
<include name="org.sat4j.pb.jar"/>
<include name="org.sat4j.sat.jar"/>
</zipgroupfileset>
<zipgroupfileset dir="${lib}">
<include name="commons-cli.jar"/>
<include name="commons-beanutils.jar"/>
<include name="commons-logging.jar"/>
</zipgroupfileset>
</jar>
</target>
<target name="core" depends="prepare" description="Build a jar file suitable for embedding SAT technology into a Java application from current source tree">
<echo>Building core library to be embedded into Java applications</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