5ed34077c7
while debian-12 provide cmake 3.25.1 this one still not support SYSTEM option in FetchContent
22 lines
621 B
Docker
22 lines
621 B
Docker
# ref: https://hub.docker.com/_/debian
|
|
FROM debian:12
|
|
|
|
RUN apt-get update \
|
|
&& apt-get install -yq wget build-essential zlib1g-dev \
|
|
&& apt-get clean \
|
|
&& rm -rf /var/lib/apt/lists/* /tmp/* /var/tmp/*
|
|
ENTRYPOINT ["/bin/bash", "-c"]
|
|
CMD ["/bin/bash"]
|
|
|
|
# Install CMake 3.31.0
|
|
RUN ARCH=$(uname -m) \
|
|
&& wget -q "https://cmake.org/files/v3.31/cmake-3.31.0-linux-${ARCH}.sh" \
|
|
&& chmod a+x cmake-3.31.0-linux-${ARCH}.sh \
|
|
&& ./cmake-3.31.0-linux-${ARCH}.sh --prefix=/usr/local/ --skip-license \
|
|
&& rm cmake-3.31.0-linux-${ARCH}.sh
|
|
|
|
WORKDIR /root
|
|
ADD or-tools_amd64_debian-12_cpp_v*.tar.gz .
|
|
|
|
RUN cd or-tools_*_v* && make test
|