Package: sat4j
Version: 2.3.1-1
Severity: normal
User: [email protected]
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 generics[1]. I have included a patch for that part of
the problem (solving it by compiling it with "target 5").
However, with this patch I noticed a test failure:
"""
[junit] Running org.sat4j.TestSatAssumps
[junit] Tests run: 3, Failures: 0, Errors: 3, Time elapsed: 0.039 sec
[junit] Test org.sat4j.TestSatAssumps FAILED
"""
I have not investigated it further (in fact, the tests are still
running at this point).
~Niels
[1] https://bugs.eclipse.org/bugs/show_bug.cgi?id=369145
diff -Nru sat4j-2.3.1/debian/ant.properties sat4j-2.3.1/debian/ant.properties
--- sat4j-2.3.1/debian/ant.properties 2011-10-24 11:37:46.000000000 +0200
+++ sat4j-2.3.1/debian/ant.properties 2012-06-18 16:49:20.000000000 +0200
@@ -1,2 +1,3 @@
compile.source=1.5
compile.target=1.5
+target=1.5
diff -Nru sat4j-2.3.1/debian/changelog sat4j-2.3.1/debian/changelog
--- sat4j-2.3.1/debian/changelog 2012-03-04 03:01:31.000000000 +0100
+++ sat4j-2.3.1/debian/changelog 2012-06-18 16:48:55.000000000 +0200
@@ -1,3 +1,11 @@
+sat4j (2.3.1-1.1) UNRELEASED; urgency=low
+
+ * Non-maintainer upload.
+ * Use target 1.5 instead of jsr14 as Java7 no longer allows
+ generics with jsr14.
+
+ -- Niels Thykier <[email protected]> Mon, 18 Jun 2012 16:48:23 +0200
+
sat4j (2.3.1-1) unstable; urgency=low
* New upstream release
