On 2012-06-18 17:02, Niels Thykier wrote: > Package: sat4j > Version: 2.3.1-1 > Severity: normal > User: ubuntu-de...@lists.ubuntu.com > Usertags: openjdk-7-transition >
An update on this. This bug has already been filed upstream: http://jira.ow2.org/browse/SAT-63 I have found the commit in upstream's SVN to fix this, which also updates the pom file: http://fisheye.ow2.org/changelog/SAT4J?cs=1391 I have yet to compile sat4j with checks enabled[1], but by disabling patches and using the patched sat4j[2] I have successfully built eclipse with OpenJDK-7. I hope you will cherry-pick upstream's fix and upload this for Wheezy. The security team expressed a concern with security support for OpenJDK-6 in Wheezy (#675495) and currently we are evaluating whether or not it is feasible to change to default Java to Java7[3]. ~Niels [1] org.sat4j.pb.constraints.MiniOPBLongClauseCardMinLearningTest seems to take at least 30 minutes and I haven't had the patience yet to wait it out. [2] Strictly speaking I used my version of the patch. It is inferior to upstream's but it was sufficient for my test. [3] I know it is very late in the release cycle and I would personally have preferred if this has happened months ago. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
