diff options
author | Christian Lohmaier <lohmaier+LibreOffice@googlemail.com> | 2020-09-30 18:26:03 +0200 |
---|---|---|
committer | Christian Lohmaier <lohmaier+LibreOffice@googlemail.com> | 2020-10-01 11:50:10 +0200 |
commit | 346c4104c3ceac9d4f61e2e886d38661fa917742 (patch) | |
tree | 93f39718f6a92a99c29772da55c46670dd3d3470 /distro-configs/Jenkins/android_common.conf | |
parent | 8a4ed7b0040e10cc75d015f244934d00478df7c6 (diff) |
add distro-configs for jenkins android builds
Change-Id: I7923c16670d53bb52dac771776093d4b06fd05b9
Reviewed-on: https://gerrit.libreoffice.org/c/core/+/103725
Tested-by: Jenkins
Reviewed-by: Christian Lohmaier <lohmaier+LibreOffice@googlemail.com>
Diffstat (limited to 'distro-configs/Jenkins/android_common.conf')
-rw-r--r-- | distro-configs/Jenkins/android_common.conf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/distro-configs/Jenkins/android_common.conf b/distro-configs/Jenkins/android_common.conf new file mode 100644 index 000000000000..b35e5dca819c --- /dev/null +++ b/distro-configs/Jenkins/android_common.conf @@ -0,0 +1,6 @@ +--with-android-sdk=$HOME/Android/Sdk +--with-android-ndk=$HOME/Android/Sdk/ndk/20.1.5948944 +--with-jdk-home=/etc/alternatives/java_sdk_11 +--enable-android-editing +CC_FOR_BUILD=/opt/rh/devtoolset-7/root/usr/bin/gcc +CXX_FOR_BUILD=/opt/rh/devtoolset-7/root/usr/bin/g++ |