2022-04-25 07:36:38 +08:00
|
|
|
FROM ubuntu:20.04
|
2022-02-15 17:23:01 +08:00
|
|
|
|
|
|
|
# set time-zone
|
|
|
|
ENV TZ=Canada/Pacific
|
|
|
|
RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
|
|
|
|
|
2022-04-25 07:36:38 +08:00
|
|
|
# The nodejs that ships on ubuntu:20.04 servers is too old.
|
2022-02-15 17:23:01 +08:00
|
|
|
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
|
2022-03-01 18:43:50 +08:00
|
|
|
CMD source ~/.cpprc && clang --version && cmake --version && ninja --version && ccache --version && cppcheck --version && vcpkg --version && doxygen --version && dot --version && gcovr --version
|
2022-02-15 17:23:01 +08:00
|
|
|
|
|
|
|
ENTRYPOINT [ "/bin/sh" ]
|