drop unused JNI bits

Author: benoit-pierre

.github/workflows/build.yml

@@ -43,9 +43,6 @@ jobs:
       - name: Fix checkout ownership
         run: chown 'root:root' .
 
-      - name: Update submodules
-        run: make update
-
       # }}}
 
       # Build. {{{
@@ -54,7 +51,7 @@ jobs:
         run: |
           # Ensure the build fail if gradle tries to install/update an SDK package.
           echo 'android.builder.sdkDownload=false' >>gradle.properties
-          make ${{ matrix.variant }}
+          ./gradlew app:assembleArmRocks${{ matrix.variant }}
 
       # }}}
 

.gitmodules

@@ -4,7 +4,6 @@ apply plugin: 'kotlin-android'
 android {
     namespace 'org.koreader.launcher'
     ndkVersion '23.2.8568313'
-    ndkPath ndkCustomPath
     compileSdk rootProject.ext.compileSdk
     def baseVersionCode = versCode as Integer
 
@@ -34,14 +33,6 @@ android {
         includeInApk = false
     }
 
-    if (buildJni.toBoolean()) {
-	externalNativeBuild {
-	    ndkBuild {
-		path file('../jni/Android.mk')
-	    }
-	}
-    }
-
     buildFeatures {
         viewBinding = true
     }

Makefile

@@ -12,12 +12,10 @@ android.enableJetifier=true
 projectName=luajit-launcher
 versCode=1
 versName=1.0
-ndkCustomPath=.
 assetsPath=../assets
 libsPath=../libs
 
 # JNI libraries
-buildJni=true
 sevenZipLib=z
 
 # Compilation features