* Remove Debian 10 * Fix Debian 11, 12, 13 * Remove Fedora 37, 38, 39 * Add Fedora 40, 41 * Remove Ubuntu 23.04, 23.10 * Add Ubuntu 24.10
22 lines
625 B
Docker
22 lines
625 B
Docker
# ref: https://hub.docker.com/_/debian
|
|
FROM debian:11
|
|
|
|
RUN apt-get update -qq \
|
|
&& 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-11_cpp_v*.tar.gz .
|
|
|
|
RUN cd or-tools_*_v* && make test
|