Commit 5960d2a4 authored by leberre's avatar leberre

Small modifications in build files.


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@924 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent dd4c9779
...@@ -255,14 +255,13 @@ ...@@ -255,14 +255,13 @@
nodeprecatedlist="false" nodeprecatedlist="false"
nodeprecated="false" nodeprecated="false"
packagenames="org.sat4j.*,org.sat4j.spec.*,org.sat4j.core.*,org.sat4j.minisat.*,org.sat4j.minisat.core.*,org.sat4j.minisat.constraints.*,org.sat4j.minisat.constraints.cnf.*" packagenames="org.sat4j.*,org.sat4j.spec.*,org.sat4j.core.*,org.sat4j.minisat.*,org.sat4j.minisat.core.*,org.sat4j.minisat.constraints.*,org.sat4j.minisat.constraints.cnf.*"
sourcepath="${module}/src" sourcepath="${module}/src/main/java"
stylesheetfile="core/lib/stylesheet.css" stylesheetfile="stylesheet.css"
overview="${module}/src/overview.html" overview="${module}/src/main/java/overview.html"
doctitle="SAT4J: a SATisfiability library for Java"> doctitle="SAT4J: a SATisfiability library for Java">
<classpath refid="somePath"/> <classpath refid="somePath"/>
<group title="User level: stable public API." packages="org.sat4j:org.sat4j.*"/> <group title="User level: stable public API." packages="org.sat4j:org.sat4j.*"/>
<group title="Developer level: internal API, subject to change." packages="org.sat4j.minisat.*:org.sat4j.reader.csp:org.sat4j.pb.*"/> <group title="Developer level: internal API, subject to change." packages="org.sat4j.minisat.*:org.sat4j.reader.csp:org.sat4j.pb.*"/>
</javadoc> </javadoc>
</target> </target>
......
...@@ -151,6 +151,8 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i ...@@ -151,6 +151,8 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<!-- those tests timeout --> <!-- those tests timeout -->
<exclude>**/CompetPBResMinHTMixedConstraintsObjectiveLearningTest*</exclude> <exclude>**/CompetPBResMinHTMixedConstraintsObjectiveLearningTest*</exclude>
<exclude>**/CompetPBResHTMixedConstraintsObjectiveLearningTest*</exclude> <exclude>**/CompetPBResHTMixedConstraintsObjectiveLearningTest*</exclude>
<!-- not fixed yet -->
<exclude>**/TestLonca*</exclude>
</excludes> </excludes>
<systemProperties> <systemProperties>
<property> <property>
...@@ -371,8 +373,8 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i ...@@ -371,8 +373,8 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<plugin> <plugin>
<groupId>org.apache.maven.plugins</groupId> <groupId>org.apache.maven.plugins</groupId>
<artifactId>maven-javadoc-plugin</artifactId> <artifactId>maven-javadoc-plugin</artifactId>
<version>2.6.1</version> <version>2.7</version>
<configuration> <configuration>
<stylesheetfile>${basedir}/../stylesheet.css</stylesheetfile> <stylesheetfile>${basedir}/../stylesheet.css</stylesheetfile>
<groups> <groups>
<group> <group>
...@@ -384,6 +386,7 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i ...@@ -384,6 +386,7 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<packages>org.sat4j.minisat.*:org.sat4j.reader.csp:org.sat4j.pb.*</packages> <packages>org.sat4j.minisat.*:org.sat4j.reader.csp:org.sat4j.pb.*</packages>
</group> </group>
</groups> </groups>
</configuration> </configuration>
</plugin> </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