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

[<noreply@xxxxxxxxxxxxxxxxxxx>]

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

Category: None
>Group: v2.0.0
Status: Open
Resolution: None
Priority: 5
Submitted By: Andrew Overholt (overholt)
>Assigned to: Daniel Le Berre (leberre)
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: Daniel Le Berre (leberre)
Date: 26/06/2008 20:34

Message:
connecté 
user_id=4369

Andrew,

I just built a jar file for core (2.0.1) including the
MANIFEST.MF

Is that fine for you?

If it's ok, I can provide you the same source file for 2.0.0.


Daniel

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

Comment By: Daniel Le Berre (leberre)
Date: 26/06/2008 20:16

Message:
connecté 
user_id=4369

Andrew,

Regarding the first difference, rc5 was just a zip file of
the source part of the code (including the src repository in
which is the source code in the Eclipse Java project) while
the code is now directly at the root. I do not think it is a
big deal here.

Regarding the manisfest file, it is indeed not containing
the information regarding the eclipse bundle nor the main
class file since it does not make sense (there is no
executable code there).

Let me know if you would like to see a MANIFEST.MF file in
the archive (not in META-INF directory).

   Daniel

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

Comment By: Daniel Le Berre (leberre)
Date: 26/06/2008 20:10

Message:
connecté 
user_id=4369

Andrew,

I built the plugin using my ant script.

Let me study the problem.

Sorry for that.

   Daniel

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

Comment By: Andrew Overholt (overholt)
Date: 26/06/2008 18: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: 26/06/2008 17: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