Commit 801983e0 authored by Daniel Le Berre's avatar Daniel Le Berre

pom.xml are properly configured: 2.2.2-SNAPSHOT

JDT compiler back in build.xml


git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@774 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 4039a9c3
<project name="sat4j" default="p2">
<!-- using Eclipse compiler -->
<!--
<property name="build.compiler" value="org.eclipse.jdt.core.JDTCompilerAdapter"/>
-->
<property name="testreport.dir" value="tests"/>
<property name="build" value="bin" />
<property name="doc" value="api" />
......@@ -408,8 +408,9 @@
<fileset dir="${build}">
<include name="**/*Test*.class" />
<exclude name="**/AllTests.class" />
<exclude name="**/Abstract*Test.class" />
<exclude name="**/Abstract*Test*.class" />
<exclude name="**/XplainTests*"/>
<exclude name="**/CompetPBRes*HTMixedConstraintsObjectiveLearningTest.class"/>
</fileset>
</batchtest>
</junit>
......
......@@ -3,7 +3,7 @@
<parent>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pom</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</parent>
<artifactId>org.sat4j.core</artifactId>
<name>SAT4J core</name>
......
......@@ -3,7 +3,7 @@
<parent>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pom</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</parent>
<artifactId>org.sat4j.csp.xmlparser</artifactId>
<name>SAT4J csp xml parser</name>
......
......@@ -3,7 +3,7 @@
<parent>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pom</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</parent>
<artifactId>org.sat4j.csp</artifactId>
<name>SAT4J csp</name>
......@@ -11,12 +11,12 @@
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.core</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</dependency>
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.csp.xmlparser</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</dependency>
<dependency>
<groupId>rhino</groupId>
......
......@@ -3,7 +3,7 @@
<parent>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pom</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</parent>
<artifactId>org.sat4j.maxsat</artifactId>
<name>SAT4J maxsat</name>
......@@ -11,13 +11,13 @@
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.core</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pb</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
<scope>compile</scope>
</dependency>
<dependency>
......
......@@ -3,7 +3,7 @@
<parent>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pom</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</parent>
<artifactId>org.sat4j.multicore</artifactId>
<name>SAT4J multicore</name>
......@@ -26,12 +26,12 @@
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.core</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</dependency>
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pb</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</dependency>
</dependencies>
</project>
......@@ -4,7 +4,7 @@
<parent>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pom</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</parent>
<description>
The pb library contains algorithms for solving pseudo boolean optimization problems.
......@@ -45,12 +45,12 @@
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.core</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</dependency>
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.core</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
<type>test-jar</type>
</dependency>
<dependency>
......
......@@ -3,7 +3,7 @@
<parent>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pom</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
</parent>
<artifactId>org.sat4j.sat</artifactId>
<name>SAT4J sat</name>
......@@ -11,13 +11,13 @@
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.core</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
<scope>compile</scope>
</dependency>
<dependency>
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pb</artifactId>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
<scope>compile</scope>
</dependency>
<dependency>
......
......@@ -4,15 +4,15 @@
<groupId>org.sat4j</groupId>
<artifactId>org.sat4j.pom</artifactId>
<packaging>pom</packaging>
<version>2.2.0</version>
<version>2.2.2-SNAPSHOT</version>
<name>SAT4J</name>
<url>http://www.sat4j.org</url>
<description>
The aim of the SAT4J library is to provide an efficient library of SAT solvers in Java. Compared to the OpenSAT project, the SAT4J library targets first users of SAT "black boxes", willing to embed SAT technologies into their application without worrying about the details. Since we use the library for our own research, it is also possible for SAT researchers to use it as a basis for their work.
</description>
<scm>
<connection>scm:svn:svn+ssh://leberre@svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.2.0</connection>
<url>scm:svn:svn+ssh://leberre@svn.forge.ow2.org/svnroot/sat4j/maven/tags/org.sat4j.pom-2.2.0</url>
<connection>scm:svn:svn://svn.forge.objectweb.org/svnroot/sat4j/maven/trunk/</connection>
<url>scm:svn:svn://svn.forge.ow2.org/svnroot/sat4j/maven/trunk/</url>
</scm>
<licenses>
<license>
......@@ -70,7 +70,8 @@ The aim of the SAT4J library is to provide an efficient library of SAT solvers i
<javaSource>1.5</javaSource>
<javaTarget>jsr14</javaTarget>
<testSource>1.5</testSource>
<testTarget>1.5</testTarget>
<testTarget>1.5</testTarget>
<project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
<!-- common distribution locations -->
<siteRepositoryId />
<siteRepositoryUrl />
......
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