2017-03-22 21:48:01 -04:00
|
|
|
# Image: introlab3it/rtabmap:android-deps
|
|
|
|
|
|
2017-03-21 10:35:46 -04:00
|
|
|
FROM introlab3it/rtabmap
|
|
|
|
|
|
2017-03-21 19:52:18 -04:00
|
|
|
ENV ANDROID_HOME=/opt/android-sdk
|
2017-05-09 17:06:27 -04:00
|
|
|
ENV ANDROID_NATIVE_API_LEVEL=android-19
|
2017-03-21 19:52:18 -04:00
|
|
|
ENV ANDROID_NDK=/opt/android-ndk-r14
|
|
|
|
|
ENV PATH=$PATH:/opt/android-sdk/tools:/opt/android-sdk/platform-tools:/opt/android-ndk-r14
|
|
|
|
|
|
2017-03-21 10:35:46 -04:00
|
|
|
WORKDIR /root/
|
2017-05-08 11:49:25 -04:00
|
|
|
|
|
|
|
|
ADD setup_android_env.bash /root/setup_android_env.bash
|
|
|
|
|
RUN chmod +x setup_android_env.bash
|
|
|
|
|
RUN /bin/bash -c "./setup_android_env.bash"
|
|
|
|
|
|
2017-03-21 10:35:46 -04:00
|
|
|
ADD install_deps.bash /root/install_deps.bash
|
|
|
|
|
RUN chmod +x install_deps.bash
|
2017-03-21 19:52:18 -04:00
|
|
|
RUN /bin/bash -c "./install_deps.bash"
|
