[[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: 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: Andrew Overholt (overholt)
Date: 2008-06-26 20:03

Message:
Logged In: YES 
user_id=14678

Hi Daniel,

The zip you attached is pretty close, but it's missing a
build.properties file which controls what gets built and
what gets put into the resulting JAR.  I tried building with
this simple build.properties:

source.. = src/
output = bin/
bin.includes = META-INF/,\
               .,\
               plugin.properties,\
               about.html,\
               sat4j.version,\
               overview.html

Also, I'm sure it's something I'm doing wrong, but I can't
get it to properly make the resulting JAR if the source is
not in a sub-directory.  It keeps including temp.folder and
@dot.bin, etc.  Is it too much trouble to put it in a
sub-folder called src?

Thanks again,

Andrew

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

Comment By: Daniel Le Berre (leberre)
Date: 2008-06-26 18: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: 2008-06-26 18: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: 2008-06-26 18: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: 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