76 lines
2.2 KiB
Docker
76 lines
2.2 KiB
Docker
FROM centos:8 AS env
|
|
|
|
#############
|
|
## SETUP ##
|
|
#############
|
|
RUN yum -y update \
|
|
&& yum -y groupinstall 'Development Tools' \
|
|
&& yum -y install wget redhat-lsb-core pkgconfig autoconf libtool cmake zlib-devel which \
|
|
&& yum clean all \
|
|
&& rm -rf /var/cache/yum
|
|
#pkgconfig
|
|
|
|
# Install Swig
|
|
RUN yum -y update \
|
|
&& yum -y install swig \
|
|
&& yum clean all \
|
|
&& rm -rf /var/cache/yum
|
|
|
|
# Install Java 8 SDK
|
|
RUN yum -y update \
|
|
&& yum -y install java-1.8.0-openjdk java-1.8.0-openjdk-devel \
|
|
&& yum clean all \
|
|
&& rm -rf /var/cache/yum
|
|
|
|
# Install dotnet
|
|
# Currently centos package is broken
|
|
# see: https://developercommunity.visualstudio.com/content/problem/990297/centos-8-dotnet-sdk-dont-provide-the-sdk.html
|
|
## see https://docs.microsoft.com/en-us/dotnet/core/install/linux-package-manager-centos7
|
|
#RUN rpm -Uvh "https://packages.microsoft.com/config/centos/7/packages-microsoft-prod.rpm" \
|
|
#&& yum -y update \
|
|
#&& yum -y install dotnet-sdk-3.1 \
|
|
#&& yum clean all \
|
|
#&& rm -rf /var/cache/yum
|
|
RUN wget "https://dotnet.microsoft.com/download/dotnet-core/scripts/v1/dotnet-install.sh" \
|
|
&& chmod a+x dotnet-install.sh \
|
|
&& ./dotnet-install.sh \
|
|
&& rm dotnet-install.sh
|
|
ENV PATH=/root/.dotnet:$PATH
|
|
# Trigger first run experience by running arbitrary cmd
|
|
RUN dotnet --info
|
|
|
|
ENV TZ=America/Los_Angeles
|
|
RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
|
|
|
|
################
|
|
## OR-TOOLS ##
|
|
################
|
|
FROM env AS devel
|
|
# Copy the snk key
|
|
COPY or-tools.snk /root/or-tools.snk
|
|
ENV DOTNET_SNK=/root/or-tools.snk
|
|
|
|
ARG SRC_GIT_BRANCH
|
|
ENV SRC_GIT_BRANCH ${SRC_GIT_BRANCH:-master}
|
|
ARG SRC_GIT_SHA1
|
|
ENV SRC_GIT_SHA1 ${SRC_GIT_SHA1:-unknown}
|
|
|
|
# Download sources
|
|
# use SRC_GIT_SHA1 to modify the command
|
|
# i.e. avoid docker reusing the cache when new commit is pushed
|
|
WORKDIR /root
|
|
RUN git clone -b "${SRC_GIT_BRANCH}" --single-branch https://github.com/google/or-tools \
|
|
&& echo "sha1: $(cd or-tools && git rev-parse --verify HEAD)" \
|
|
&& echo "expected sha1: ${SRC_GIT_SHA1}"
|
|
|
|
# Build third parties
|
|
FROM devel AS third_party
|
|
WORKDIR /root/or-tools
|
|
RUN make detect && make third_party
|
|
|
|
# Build project
|
|
FROM third_party AS build
|
|
RUN make detect_cc && make cc
|
|
RUN make detect_java && make java
|
|
RUN make detect_dotnet && make dotnet
|