2022-02-15 16:25:37 +08:00
|
|
|
FROM ubuntu:devel
|
|
|
|
|
|
|
|
|
|
RUN apt-get update -qq
|
|
|
|
|
RUN apt-get install -y --no-install-recommends nodejs
|
2021-09-19 00:38:12 +08:00
|
|
|
|
|
|
|
|
# add setup_cpp.js
|
2021-09-18 20:06:59 +08:00
|
|
|
ADD "./dist/" "/"
|
|
|
|
|
WORKDIR "/"
|
2021-09-19 00:38:12 +08:00
|
|
|
|
|
|
|
|
# run installation
|
2022-02-14 11:48:58 +08:00
|
|
|
RUN node ./setup_cpp.js --compiler llvm --cmake true --ninja true --cppcheck true --ccache true --vcpkg true --doxygen true --gcovr true
|
2021-09-19 00:38:12 +08:00
|
|
|
|
2022-02-14 12:32:34 +08:00
|
|
|
# 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
|
2022-02-14 11:48:58 +08:00
|
|
|
|
2021-09-30 08:56:28 +08:00
|
|
|
ENTRYPOINT [ "/bin/sh" ]
|
