From d073523125628ed3dcd7ef5f8a123d88c0dd3c1e Mon Sep 17 00:00:00 2001
From: Jules Aguillon
Date: Sat, 9 Sep 2023 16:44:04 +0200
Subject: shell.nix: Update dependencies and add Gradle

Update OpenJDK to version 17, Android build tools to 33.0.1 and platform to 33.
These are required to build with Gradle.

Add Gradle to the environment, which must be wrapped to fix a
permissions issue. Setting `GRADLE_OPTS` has no effect as it seems not
to be passed down to the daemon.
---
 CONTRIBUTING.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'CONTRIBUTING.md')

diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md
index 9af5fa1..62b2342 100644
--- a/CONTRIBUTING.md
+++ b/CONTRIBUTING.md
@@ -28,6 +28,8 @@ Building the debug apk:
 ./gradlew assembleDebug
 ```
 
+Nix users can call gradle directly: `gradle assembleDebug`.
+
 If the build succeeds, the debug apk is located in `build/outputs/apk/debug/app-debug.apk`.
 
 ## Debugging on your phone
-- 
cgit v1.2.3