Use more recent Java

2021-01-05 00:39:49 +01:00 · 2021-01-05 00:39:49 +01:00 · 21b5838a1d
commit 21b5838a1d
parent 8dc085048a
2 changed files with 3 additions and 3 deletions
--- a/ant.properties
+++ b/ant.properties
@ -19,5 +19,5 @@ source.dir=srcs
 key.store=release-keys.keystore
 key.alias=releasekey

-java.source=8
-java.target=8
+java.source=1.7
+java.target=1.7
--- a/shell.nix
+++ b/shell.nix
@ -14,7 +14,7 @@ in

 pkgs.mkShell {
  buildInputs = with pkgs; [
-    ant openjdk8 android.androidsdk
+    ant openjdk android.androidsdk
  ];
  shellHook = ''
    export ANDROID_HOME=${android.androidsdk}/libexec/android-sdk