Commit 30f7829a authored by Daniel Le Berre's avatar Daniel Le Berre

Fix remote control target

parent 1aa9eb18
Pipeline #115 passed with stage
in 14 minutes and 40 seconds
......@@ -179,7 +179,7 @@
</antcall>
</target>
<target name="remote" depends="core,pseudo" description="Build a jar file suitable for build the incredible sat4j remote control">
<target name="remote" depends="core,pseudo,maxsat" 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"/>
......
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