Robert Helgesson 923dda992b ecj: require jdk7 instead of jdk ...

The ecj build fails in Java 8 due to backwards incompatible changes in
the `javax.lang.model` namespace so with this change we specifically ask
for a JDK for Java 7.

2015-07-27 17:37:37 +02:00

..

default.nix

ecj: require jdk7 instead of jdk

2015-07-27 17:37:37 +02:00