diff options
Diffstat (limited to 'make/gluegen-properties.xml')
| -rwxr-xr-x | make/gluegen-properties.xml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/make/gluegen-properties.xml b/make/gluegen-properties.xml index 95f58f5..5ccc119 100755 --- a/make/gluegen-properties.xml +++ b/make/gluegen-properties.xml @@ -43,7 +43,11 @@ <property name="junit.jar" value="${gluegen.root}/make/lib/junit.jar" /> <property name="ant.jar" value="${ant.home}/lib/ant.jar" /> <property name="ant-junit.jar" value="${ant.home}/lib/ant-junit.jar" /> + + <property name="android.version" value="9" /> <!-- default - if not set by jogamp-env.xml:jogamp.env.init --> + <property name="android.jar" value="${gluegen.root}/make/lib/android-sdk/${android.version}/android.jar" /> <property name="ant-junit-all.apk" value="${gluegen.root}/make/lib/ant-junit-all.apk" /> + <condition property="win32.c.compiler" value="mingw64"> <and> <os family="windows" /> |