On 2011-08-26 22:42, Andrew Overholt wrote: > Hi, > >> I had to bootstrap with OpenJDK 6 due to some target=jsr14 differences >> in OpenJDK 7. > > Overcoming this was harder than I thought it would be. It looks like > target=jsr14 doesn't work with OpenJDK 7. At least, I couldn't make it > work. For phase 1 of our bootstrapping process, we build with the > system javac. For this phase (and this phase only), I've made the > bundles with target=jsr14 use target=1.5. The build.xml files are then > all re-generated by PDE Build and JDT Core -- which supports jsr14 -- is > used for building the final JARs. > > The only consequence of this is that I had to make sat4j build 1.5-level > bytecode. For all practical Linux distribution purposes, anything < 1.5 > isn't important so I don't see a problem with this. It does, however, > mean that eclipse-build consumers must have a system org.sat4j.pb JAR > that contains 1.5-level bytecode. Is this a problem for distributions > other than Fedora? > > Thanks, > > Andrew > _______________________________________________ > linuxtools-dev mailing list > [email protected] > https://dev.eclipse.org/mailman/listinfo/linuxtools-dev
Hi, Debian has had some issues with getting 3.7 to work, so I have not had time to look at this. As far as a brief investigation told me, Debian's sat4j package appears to be compiled with 1.4 (debian/ant.properties). I have CC'ed the maintainer of sat4j in Debian, Michael, who I hope can comment on whether using 1.5 will cause for Debian. ~Niels _______________________________________________ linuxtools-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/linuxtools-dev
