diff options
| author | Jules Aguillon | 2023-09-09 16:44:04 +0200 |
|---|---|---|
| committer | Jules Aguillon | 2023-11-25 20:13:24 +0100 |
| commit | d073523125628ed3dcd7ef5f8a123d88c0dd3c1e (patch) | |
| tree | 129aab8672e8f7d652f0efb04dd47f0c0dff7758 /settings.gradle | |
| parent | 684d5c7b70536d7a36d80da659821a2e60d81841 (diff) | |
| download | unexpected-keyboard-d073523125628ed3dcd7ef5f8a123d88c0dd3c1e.tar.gz unexpected-keyboard-d073523125628ed3dcd7ef5f8a123d88c0dd3c1e.zip | |
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.
Diffstat (limited to 'settings.gradle')
0 files changed, 0 insertions, 0 deletions