diff options
Diffstat (limited to 'src/ui/android/README')
| -rw-r--r-- | src/ui/android/README | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/ui/android/README b/src/ui/android/README index 16d9c1104..7adb7fe50 100644 --- a/src/ui/android/README +++ b/src/ui/android/README @@ -30,6 +30,9 @@ Build JNI code: $ cd jni $ $ANDROID_NDK_LOCATION/ndk-build +Build the semantic database code: + +$ runghc glosses.hs Build APK: |