Commit 412e5010 authored by Daniel Le Berre's avatar Daniel Le Berre

Updated pom and build files to better generate Maven Artifacts/web site and

ant made packages.


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@101 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent b4fc58bc
......@@ -7,7 +7,7 @@
<property name="release" value="CUSTOM"/>
<property name="tag" value="HEAD"/>
<property name="lib" value="lib"/>
<target name="pseudo" depends="core" description="Build a jar file suitable for the PB evaluations from CVS">
<target name="pseudo" depends="core" description="Build a jar file suitable for the PB evaluations from current source tree">
<echo>Building Pseudo Boolean Solver</echo>
<antcall target="build">
<param name="package" value="pb"/>
......@@ -25,7 +25,7 @@
</antcall>
</target>
<target name="maxsat" depends="pseudo" description="Build a jar file suitable for the MaxSAT evaluations from CVS">
<target name="maxsat" depends="pseudo" description="Build a jar file suitable for the MaxSAT evaluations from current source tree">
<echo>Building MAXSAT Solver</echo>
<antcall target="build">
<param name="package" value="maxsat"/>
......@@ -38,9 +38,19 @@
<param name="src" value="org.sat4j.maxsat/src/main/java" />
<param name="jarname" value="org.sat4j.maxsat"/>
</antcall>
<echo>Create All-In-One auto-executable package</echo>
<jar destfile="${dist}/${release}/sat4j-maxsat.jar" basedir="${build}" manifest="${build}/META-INF/MANIFEST.MF">
<zipgroupfileset dir="${dist}/${release}">
<include name="org.sat4j.core.jar"/>
<include name="org.sat4j.pb.jar"/>
</zipgroupfileset>
<zipgroupfileset dir="${lib}">
<include name="commons-cli.jar"/>
</zipgroupfileset>
</jar>
</target>
<target name="csp" depends="core" description="Build a jar file suitable for the CSP competitions from CVS">
<target name="csp" depends="core" description="Build a jar file suitable for the CSP competitions from current source tree">
<echo>Building CSP Solver</echo>
<antcall target="build">
<param name="package" value="csp"/>
......@@ -55,7 +65,7 @@
</antcall>
</target>
<target name="sat" depends="core" description="Build a jar file suitable for experimenting with SAT solvers from CVS">
<target name="sat" depends="core" 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"/>
......@@ -70,7 +80,7 @@
</antcall>
</target>
<target name="core" depends="clean" description="Build a jar file suitable for embedding SAT technology into a Java application from CVS">
<target name="core" depends="clean" 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">
<param name="package" value="core"/>
......
......@@ -98,6 +98,13 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-jar-plugin</artifactId>
<executions>
<execution>
<goals>
<goal>test-jar</goal>
</goals>
</execution>
</executions>
<configuration>
<archive>
<manifestFile>${basedir}/META-INF/MANIFEST.MF</manifestFile>
......@@ -112,8 +119,9 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<forkMode>pertest</forkMode>
<argLine>-enableassertions -Xmx512m</argLine>
<excludes>
<exclude>**/TestLubyFunction.java</exclude>
<exclude>**/TestConstrGroup.java</exclude>
<exclude>**/TestLubyFunction</exclude>
<exclude>**/TestConstrGroup</exclude>
<exclude>**/GoodOPBReaderTest*</exclude>
</excludes>
<systemProperties>
<property>
......@@ -154,13 +162,9 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
<version>2.2</version>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-source-plugin</artifactId>
<executions>
<executions>
<execution>
<id>attach-sources</id>
<id>attach-javadocs</id>
<goals>
<goal>jar</goal>
</goals>
......@@ -169,17 +173,16 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId>
<artifactId>maven-source-plugin</artifactId>
<executions>
<execution>
<id>attach-javadocs</id>
<id>attach-sources</id>
<goals>
<goal>jar</goal>
</goals>
</execution>
</executions>
</plugin>
</plugins>
</build>
......@@ -299,7 +302,7 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<tag>TODO</tag>
<tag>@todo</tag>
<tag>FIXME</tag>
<tag>XXX</tag>
<tag>DLB</tag>
</tags>
</configuration>
</plugin>
......
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