Commit 1c8c24b0 authored by leberre's avatar leberre

Updated main class in org.sat4j.sat

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1501 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 0a8dcb1c
...@@ -139,6 +139,7 @@ ...@@ -139,6 +139,7 @@
<zipgroupfileset dir="${dist}/${release}"> <zipgroupfileset dir="${dist}/${release}">
<include name="org.sat4j.core.jar"/> <include name="org.sat4j.core.jar"/>
<include name="org.sat4j.pb.jar"/> <include name="org.sat4j.pb.jar"/>
<include name="org.sat4j.maxsat.jar"/>
<include name="org.sat4j.sat.jar"/> <include name="org.sat4j.sat.jar"/>
</zipgroupfileset> </zipgroupfileset>
<zipgroupfileset dir="${lib}"> <zipgroupfileset dir="${lib}">
...@@ -169,7 +170,7 @@ ...@@ -169,7 +170,7 @@
<jar destfile="${dist}/${release}/sat4j-remotecontrol.jar" basedir="${build}"> <jar destfile="${dist}/${release}/sat4j-remotecontrol.jar" basedir="${build}">
<manifest> <manifest>
<attribute name="Built-By" value="Stephanie Roussel"/> <attribute name="Built-By" value="Stephanie Roussel"/>
<attribute name="Main-Class" value="org.sat4j.sat.LaunchRemoteControl"/> <attribute name="Main-Class" value="org.sat4j.sat.Launcher"/>
</manifest> </manifest>
<zipgroupfileset dir="${dist}/${release}"> <zipgroupfileset dir="${dist}/${release}">
<include name="org.sat4j.core.jar"/> <include name="org.sat4j.core.jar"/>
......
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