Commit 7a4de1c0 authored by Daniel Le Berre's avatar Daniel Le Berre

Added mus target.


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@848 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent d3641304
<project name="sat4j" default="p2">
<!-- using Eclipse compiler -->
<!-- COMMENT THAT LINE IF YOU WANT TO USE DEFAULT JDK COMPILER -->
<property name="build.compiler" value="org.eclipse.jdt.core.JDTCompilerAdapter"/>
<property name="testreport.dir" value="tests"/>
......@@ -198,6 +198,22 @@
<param name="package" value="core"/>
</antcall>
</target>
<target name="mus" depends="prepare" description="Build a jar file for MUS solver">
<echo>Building MUS solver</echo>
<antcall target="build">
<param name="package" value="core"/>
<param name="src" value="org.sat4j.core/src/main/java" />
<param name="jarname" value="sat4j-mus"/>
<param name="mainclass" value="org.sat4j.MUSLauncher"/>
</antcall>
<jar destfile="${dist}/${release}/sat4j-mus.jar" basedir="${build}">
<manifest>
<attribute name="Built-By" value="Daniel Le Berre"/>
<attribute name="Main-Class" value="org.sat4j.MUSLauncher"/>
</manifest>
</jar>
</target>
<target name="sudoku" depends="core" description="Build the sudoku demo from current source tree">
<echo>Building Sudoku app demo</echo>
......
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