Commit 0a8dcb1c authored by Daniel Le Berre's avatar Daniel Le Berre

Added dependency to maxsat in module sat

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1500 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 165a8051
......@@ -122,7 +122,7 @@
</antcall>
</target>
<target name="sat" depends="core,pseudo" description="Build a jar file suitable for experimenting with SAT solvers from current source tree">
<target name="sat" depends="core,pseudo,maxsat" description="Build a jar file suitable for experimenting with SAT solvers from current source tree">
<echo>Building the Java SAT Solvers toolkit</echo>
<antcall target="build">
<param name="package" value="sat"/>
......
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