2017-03-22 21:48:01 -04:00
|
|
|
# Image: introlab3it/rtabmap:tango
|
|
|
|
|
|
|
|
|
|
FROM introlab3it/rtabmap:android-deps
|
2017-03-21 10:35:46 -04:00
|
|
|
|
|
|
|
|
WORKDIR /root/
|
|
|
|
|
|
|
|
|
|
ADD build.bash /root/build.bash
|
|
|
|
|
RUN chmod +x build.bash
|
|
|
|
|
RUN /bin/bash -c "./build.bash"
|
|
|
|
|
|
2017-05-08 11:58:17 -04:00
|
|
|
WORKDIR /root/
|
