You are viewing a plain text version of this content. The canonical link for it is here.
Posted to commits@maven.apache.org by jv...@apache.org on 2008/05/28 07:34:47 UTC

svn commit: r660815 - in /maven/sandbox/trunk/mercury: lib/install.sh lib/org.sat4j.pb.jar pom.xml

Author: jvanzyl
Date: Tue May 27 22:34:47 2008
New Revision: 660815

URL: http://svn.apache.org/viewvc?rev=660815&view=rev
Log:
adding pb solver

Added:
    maven/sandbox/trunk/mercury/lib/org.sat4j.pb.jar   (with props)
Modified:
    maven/sandbox/trunk/mercury/lib/install.sh
    maven/sandbox/trunk/mercury/pom.xml

Modified: maven/sandbox/trunk/mercury/lib/install.sh
URL: http://svn.apache.org/viewvc/maven/sandbox/trunk/mercury/lib/install.sh?rev=660815&r1=660814&r2=660815&view=diff
==============================================================================
--- maven/sandbox/trunk/mercury/lib/install.sh (original)
+++ maven/sandbox/trunk/mercury/lib/install.sh Tue May 27 22:34:47 2008
@@ -1 +1,2 @@
 mvn install:install-file -Dfile=org.sat4j.core.jar -DgroupId=org.sat4j -Dpackaging=jar -DartifactId=org.sat4j.core -Dversion=2.0.0.v20080430 -DgeneratePom=true -DgenerateChecksum=true
+mvn install:install-file -Dfile=org.sat4j.core.jar -DgroupId=org.sat4j -Dpackaging=jar -DartifactId=org.sat4j.pb -Dversion=2.0.0.v20080430 -DgeneratePom=true -DgenerateChecksum=true

Added: maven/sandbox/trunk/mercury/lib/org.sat4j.pb.jar
URL: http://svn.apache.org/viewvc/maven/sandbox/trunk/mercury/lib/org.sat4j.pb.jar?rev=660815&view=auto
==============================================================================
Binary file - no diff available.

Propchange: maven/sandbox/trunk/mercury/lib/org.sat4j.pb.jar
------------------------------------------------------------------------------
    svn:mime-type = application/octet-stream

Modified: maven/sandbox/trunk/mercury/pom.xml
URL: http://svn.apache.org/viewvc/maven/sandbox/trunk/mercury/pom.xml?rev=660815&r1=660814&r2=660815&view=diff
==============================================================================
--- maven/sandbox/trunk/mercury/pom.xml (original)
+++ maven/sandbox/trunk/mercury/pom.xml Tue May 27 22:34:47 2008
@@ -118,6 +118,11 @@
       <artifactId>org.sat4j.core</artifactId>
       <version>2.0.0.v20080430</version>
     </dependency>        
+    <dependency>
+      <groupId>org.sat4j</groupId>
+      <artifactId>org.sat4j.pb</artifactId>
+      <version>2.0.0.v20080430</version>
+    </dependency>        
     <!-- Test Dependencies -->
     <dependency>
       <groupId>org.mortbay.jetty</groupId>