Commit c735bdb9 authored by Daniel Le Berre's avatar Daniel Le Berre

Updated build file to exclude XplainTest and main pom file to introduce...

Updated build file to exclude XplainTest and main pom file to introduce maven-pdf and maven-release.


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@363 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 2af496d0
......@@ -312,9 +312,10 @@
<batchtest fork="yes" todir="${testreport.dir}">
<fileset dir="${build}">
<include name="**/*Test*.class" />
<exclude name="**/AllTests.class" />
<exclude name="**/Abstract*Test.class" />
<include name="**/*Test.class" />
<exclude name="**/XplainTests*"/>
</fileset>
</batchtest>
</junit>
......
......@@ -118,8 +118,7 @@ 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*</exclude>
<exclude>**/TestConstrGroup*</exclude>
<exclude>**/XplainTests*</exclude>
<exclude>**/GoodOPBReaderTest*</exclude>
</excludes>
<systemProperties>
......@@ -182,6 +181,29 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
</execution>
</executions>
</plugin>
<plugin>
<artifactId>maven-pdf-plugin</artifactId>
<version>1.0</version>
<executions>
<execution>
<id>site-pdf</id>
<phase>site</phase>
<goals>
<goal>pdf</goal>
</goals>
<configuration>
<outputDirectory>${project.reporting.outputDirectory}</outputDirectory>
</configuration>
</execution>
</executions>
</plugin>
<plugin>
<groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-release-plugin</artifactId>
<configuration>
<tagBase>svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/tags</tagBase>
</configuration>
</plugin>
</plugins>
</build>
......
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