always-cautious/ortools-clone
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

minizinc challenge 2020

Browse Source
This commit is contained in:
Laurent Perron
2020-08-21 11:50:26 +02:00
parent 23bc8205f5
commit 82aa07e40d
2 changed files with 19 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
tools/docker/Makefile
View File

@@ -312,7 +312,7 @@ distclean: clean | export/archives
##########################
## MINIZINC CHALLENGE ##
##########################
MZN_TAG=or-tools-minizinc-challenge:2019v3
MZN_TAG=or-tools-minizinc-challenge:2020v1
minizinc-challenge-image:
docker build -f minizinc-challenge.Dockerfile -t $(MZN_TAG) .

22
tools/docker/minizinc-challenge.Dockerfile
View File

@@ -1,10 +1,10 @@
FROM minizinc/mznc2019:1.0
FROM minizinc/mznc2020
ENV SRC_GIT_BRANCH master
RUN apt-get update
RUN apt-get -y install pkg-config git wget autoconf libtool zlib1g-dev gawk g++ curl cmake make lsb-release python-dev gfortran
RUN apt-get -y install pkg-config git wget autoconf libtool zlib1g-dev gawk g++ curl cmake make lsb-release python-dev gfortran gcc-8
ENV TZ=America/Los_Angeles
RUN ln -snf /usr/share/zoneinfo/$TZ /etc/localtime && echo $TZ > /etc/timezone
@@ -15,10 +15,24 @@ RUN git clone -b "$SRC_GIT_BRANCH" --single-branch https://github.com/google/or-
WORKDIR /root/or-tools
RUN make Makefile.local
RUN echo USE_SCIP=OFF >> Makefile.local
RUN echo USE_COINOR=OFF >> Makefile.local
RUN mkdir ortools/gen
RUN mkdir ortools/gen/ortools
RUN mkdir ortools/gen/ortools/linear_solver
RUN touch ortools/gen/ortools/linear_solver/lpi_glop.cc
RUN make -j 4 third_party
RUN make -j 4 cc fz
RUN make -j 2 cc fz
RUN ln -s /root/or-tools/bin/fz /entry_data/fzn-exec
RUN cp /root/or-tools/ortools/flatzinc/mznlib_sat/*mzn /entry_data/mzn-lib
RUN cp /root/or-tools/ortools/flatzinc/mznlib/*mzn /entry_data/mzn-lib