diff options
Diffstat (limited to 'src/ui/android/README')
| -rw-r--r-- | src/ui/android/README | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/ui/android/README b/src/ui/android/README index 1d3bda521..16d9c1104 100644 --- a/src/ui/android/README +++ b/src/ui/android/README @@ -23,8 +23,7 @@ $ $ANDROID_SDK_LOCATION/tools/android update project -p . Build libs/libjpgf.jar: -$ (cd ../../runtime/java && javac org/grammaticalframework/pgf/*.java && jar -cf libjpgf.jar org/grammaticalframework/pgf/*.class) -$ cp ../../runtime/java/libjpgf.jar libs +$ (cd ../../runtime/java && javac org/grammaticalframework/*/*.java && jar -cf ../../ui/android/libs/jpgf.jar org/grammaticalframework/*/*.class) Build JNI code: |