[[sat4j-dev]] [ sat4j-Bugs-310427 ] No buildable src zips for 2.0.0 final

[<noreply@xxxxxxxxxxxxxxxxxxx>]

Bugs item #310427, was opened at 2008-06-26 15:30
You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=310427&group_id=228

Category: None
Group: None
Status: Open
Resolution: None
Priority: 5
Submitted By: Andrew Overholt (overholt)
Assigned to: Nobody (None)
Summary: No buildable src zips for 2.0.0 final

Initial Comment:
Hi Daniel and others,

I built 2.0 RC5 for Fedora in preparation for building Eclipse SDK 3.4.  To do
so, I used the source zips (sat4j-core-rc5.src.zip and sat4j-pb-rc5.src.zip). 
I don't see these for 2.0.0 final.  Could these be provided so that I can
exactly reproduce the JARs that Eclipse includes?

Thanks,

Andrew

----------------------------------------------------------------------

>Comment By: Andrew Overholt (overholt)
Date: 2008-06-26 16:22

Message:
Logged In: YES 
user_id=14678

Hi Daniel,

Unfortunately, those zips are buildable like the RC5 ones
were.  Looking at the files in the two zips (after exploding
the src.jar in the final zip):

$ ls rc5/ final
final:
about.html  META-INF  org  overview.html  plugin.properties
 sat4j.version

rc5/:
about.html  build.properties  META-INF  plugin.properties  src

and teh MANIFEST.MF illustrates the difference nicely:

$ diff -u rc5/META-INF/MANIFEST.MF final/META-INF/MANIFEST.MF 
--- rc5/META-INF/MANIFEST.MF    2008-03-08 13:02:16.000000000 -0500
+++ final/META-INF/MANIFEST.MF  2008-06-02 23:32:14.000000000
-0400
@@ -1,29 +1,4 @@
 Manifest-Version: 1.0
-Bundle-ManifestVersion: 2
-Bundle-Name: %bundleName
-Bundle-SymbolicName: org.sat4j.core
-Bundle-Version: 2.0.0.qualifier
-Export-Package: org.sat4j,
- org.sat4j.core,
- org.sat4j.minisat,
- org.sat4j.minisat.constraints,
- org.sat4j.minisat.constraints.card,
- org.sat4j.minisat.constraints.cnf,
- org.sat4j.minisat.core,
- org.sat4j.minisat.learning,
- org.sat4j.minisat.orders,
- org.sat4j.minisat.restarts,
- org.sat4j.minisat.uip,
- org.sat4j.opt,
- org.sat4j.reader,
- org.sat4j.specs,
- org.sat4j.tools
-Bundle-Vendor: %providerName
-Built-By: Daniel Le Berre
-Main-Class: org.sat4j.BasicLauncher
-Specification-Title: SAT4J
-Specification-Version: NA
-Specification-Vendor: Daniel Le Berre
-Implementation-Title: SAT4J
-Implementation-Version: 2.0 
-Implementation-Vendor: CRIL CNRS UMR 8188 - Universite d'Artois
+Ant-Version: Apache Ant 1.7.0
+Created-By: 10.0-b22 (Sun Microsystems Inc.)
+

I assume you made these src zips from within Eclipse.  If
you aren't able to produce zips like you did for rc5, I can
do an SVN/CVS export if you've tagged the 2.0.0 release.

Thanks and sorry to be such a pain,

Andrew

----------------------------------------------------------------------

Comment By: Daniel Le Berre (leberre)
Date: 2008-06-26 15:44

Message:
connecté 
user_id=4369

Andrew,

The zip files are now available under sat4j core and sat4j
pb groups:
http://forge.objectweb.org/project/download.php?group_id=228&file_id=10735
http://forge.objectweb.org/project/download.php?group_id=228&file_id=10736



----------------------------------------------------------------------

You can respond by visiting: 
http://forge.objectweb.org/tracker/?func=detail&atid=350289&aid=310427&group_id=228