Summary: | Importing org.sat4j.pb does not work | ||
---|---|---|---|
Product: | [Eclipse Project] JDT | Reporter: | Dani Megert <daniel_megert> |
Component: | Core | Assignee: | Jerome Lanneluc <jerome_lanneluc> |
Status: | VERIFIED DUPLICATE | QA Contact: | |
Severity: | major | ||
Priority: | P3 | CC: | caniszczyk, david_audel, jerome_lanneluc, Olivier_Thomann, pascal, philippe_mulet |
Version: | 3.5 | ||
Target Milestone: | 3.5 M3 | ||
Hardware: | All | ||
OS: | All | ||
Whiteboard: |
Description
Dani Megert
2008-10-28 06:10:10 EDT
I believe the problems are related. Looks like a dup of bug 252392 Pascal, was the sat4j bundle ever fixed to remove this header: Class-Path: org.sat4j.core.jar I believe JDT still has issues with that Note that so far this was not a blocker because PDE UI did not require p2.ui and hence no need to import sat4j. Now it is. (In reply to comment #4) > Note that so far this was not a blocker because PDE UI did not require p2.ui > and hence no need to import sat4j. Now it is. But it's about time we use p2 ;) So I understand that's the point. The problem is still that the MANIFEST.MF of the sat4j pb bundle is wrong. I checked in the Orbit branch and I still see the wrong header. The header is only used outside of Eclipse. See bug 250946 comment 19. Sat4J should not require the referenced jar to be there inside the IDE. moving to the p2 team as they control the bundle in Orbit. btw, the sat4j bundle is also missing export package version #s if you want to kill two birds with one stone Reducing severity: I can go on if I uncheck Java > Compiler > Building | Build path problems [ ] Abort build when build path errors occur To me, the problem lies at the intersection of PDE and JDT and not the bundle for which we do *not* own the manifest. Indeed the sat4j jars are meant to be run both in a standalone environment (out of the box on the sat4j download site the sat4j.pb.jar properly refers to a sat4j.core jar) and in an OSGi environment (which is why they come with a manifest). What I would expect to see happening here is that for JDT to realize that org.sat4j.pb is handled by PDE and not apply its Classpath magic. Also I would expect this to not be set as an error by default. Moving back to JDT core. *** This bug has been marked as a duplicate of bug 252392 *** Verified for 3.5M3 using I20081028-2000 build. |