FROM ubuntu:latest # set time-zone ENV TZ=Canada/Pacific RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone # The nodejs that ships on ubuntu:latest servers is too old. ENV DEBIAN_FRONTEND=noninteractive RUN apt-get update -qq RUN apt-get install -y --no-install-recommends curl gnupg ca-certificates RUN curl -fsSL https://deb.nodesource.com/setup_lts.x | bash - RUN apt-get install -y --no-install-recommends nodejs # add setup_cpp.js ADD "./dist/" "/" WORKDIR "/" # run installation RUN node ./setup_cpp.js --compiler llvm --cmake true --ninja true --cppcheck true --ccache true --vcpkg true --doxygen true --gcovr true # reload the environment and print the versions CMD source ~/.profile && clang --version && cmake --version && ninja --version && ccache --version && cppcheck --version && vcpkg --version && doxygen --version && dot --version && gcovr --version ENTRYPOINT [ "/bin/sh" ]