android: Update Gradle plugin

diff --git a/.github/workflows/android.yml b/.github/workflows/android.yml
index c7277578894b025395df4bf3ea53cb2aa35149e2..0d82cab7e759c846a1710bdc90ac55f9c4473d1e 100644 (file)
--- a/.github/workflows/android.yml
+++ b/.github/workflows/android.yml
@@ -33,7 +33,7 @@ jobs:
       # so we load the version the Gradle Plugin uses as default but which is
       # not installed anymore in the image
       - name: Install NDK
-        run: yes | sudo ${ANDROID_HOME}/tools/bin/sdkmanager --install 'ndk;21.4.7075529'
+        run: yes | sudo ${ANDROID_HOME}/tools/bin/sdkmanager --install 'ndk;23.1.7779620'
       - uses: actions/checkout@v3
       - uses: actions/cache@v3
         with:

diff --git a/src/frontends/android/build.gradle b/src/frontends/android/build.gradle
index f5acb1ef9eae3ac8637d8bd9c5c2d012c70a1aae..dc4fab06bb9ed90ecb5c2c13339a390c1bff941c 100644 (file)
--- a/src/frontends/android/build.gradle
+++ b/src/frontends/android/build.gradle
@@ -4,7 +4,7 @@ buildscript {
         google()
     }
     dependencies {
-        classpath 'com.android.tools.build:gradle:7.2.0'
+        classpath 'com.android.tools.build:gradle:7.3.0'
     }
 }
 

diff --git a/src/frontends/android/gradle/wrapper/gradle-wrapper.properties b/src/frontends/android/gradle/wrapper/gradle-wrapper.properties
index 29c93626cca2fc01b6412e9b2775d38631760fa1..5cabee55dc34f792c30c373206f5e7342ec454fd 100644 (file)
--- a/src/frontends/android/gradle/wrapper/gradle-wrapper.properties
+++ b/src/frontends/android/gradle/wrapper/gradle-wrapper.properties
@@ -3,4 +3,4 @@ distributionBase=GRADLE_USER_HOME
 distributionPath=wrapper/dists
 zipStoreBase=GRADLE_USER_HOME
 zipStorePath=wrapper/dists
-distributionUrl=https\://services.gradle.org/distributions/gradle-7.3.3-all.zip
+distributionUrl=https\://services.gradle.org/distributions/gradle-7.4-all.zip