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>