Bug#678007: sat4j: FTBFS with openjdk-7

2012-06-26 Thread Jeremy Bicha
I can confirm that Niels' patch fixed the FTBFS of sat4j and eclipse on Ubuntu 12.10 Alpha Quantal which has already made the switch to OpenJDK 7 by default. Jeremy -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#678007: sat4j: FTBFS with openjdk-7

2012-06-23 Thread Niels Thykier
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

Bug#678007: sat4j: FTBFS with openjdk-7

2012-06-18 Thread Niels Thykier
Package: sat4j Version: 2.3.1-1 Severity: normal User: ubuntu-de...@lists.ubuntu.com Usertags: openjdk-7-transition Hi, sat4j FTBFS with openjdk-7 as default java (or with java-common from experimental). Part of it appears to be the use of javac target jsr14, which no longer supports