Commit 167ca1b1 authored by Sebastian Schwarz's avatar Sebastian Schwarz
Browse files

Update to SCIP version 7.0.3

parent 8e24001e
Pipeline #504261 passed with stages
in 10 minutes and 5 seconds
......@@ -9,7 +9,7 @@ ENTRYPOINT /bin/bash
# Install the archlinux base packages:
RUN pacman -Syu sudo git patch wget curl php doxygen make cmake clang base-devel gcc gcc-fortran unzip tar bzip2 expat gdbm libffi openssl bluez-libs mpdecimal sqlite tk bison flex pkgconf boost boost-libs zlib gmp blas gsl readline ncurses tbb cliquer ghc ghc-libs haskell-criterion coin-or-asl lapack metis --noconfirm
RUN pacman -Syu sudo git patch wget php doxygen make cmake clang base-devel gcc gcc-fortran unzip tar bzip2 expat gdbm libffi openssl bluez-libs mpdecimal sqlite tk bison flex pkgconf boost boost-libs zlib gmp blas gsl readline ncurses tbb cliquer ghc ghc-libs haskell-criterion coin-or-asl lapack metis --noconfirm
# Create a builduser (required for some archlinux operations running inside Docker):
......@@ -19,9 +19,9 @@ RUN useradd builduser -m -d /home/builduser &&\
printf 'root ALL=(ALL) ALL\n' | tee a /etc/sudoers
# Downgrade Python to the recommended version 3.6 and install some core package:
# Install Python version 3.6 together with some core package:
RUN cd / &&\
sudo -u builduser /bin/bash -c 'mkdir -p ~/python36 && cd ~/python36 && wget --quiet https://aur.archlinux.org/cgit/aur.git/plain/PKGBUILD?h=python36 -O PKGBUILD && makepkg -s' &&\
sudo -u builduser /bin/bash -c 'mkdir -p ~/python36 && cd ~/python36 && wget --quiet "https://aur.archlinux.org/cgit/aur.git/plain/PKGBUILD?h=python36&id=a057b43d348f307a04e166cbef04deec7cf4c8c4" -O PKGBUILD && makepkg -s' &&\
cd /home/builduser/python36 &&\
pacman -U *.pkg.tar.zst --noconfirm &&\
wget --quiet https://bootstrap.pypa.io/get-pip.py &&\
......@@ -31,12 +31,12 @@ RUN cd / &&\
cd /
# Download and install the required IPOPT solver:
# Download and install the required IPOPT solver (version 3.13.2):
RUN cd / &&\
sudo -u builduser /bin/bash -c 'mkdir -p ~/coin-or-coinmumps && cd ~/coin-or-coinmumps && wget --quiet https://aur.archlinux.org/cgit/aur.git/plain/PKGBUILD?h=coin-or-coinmumps -O PKGBUILD && makepkg -s' &&\
sudo -u builduser /bin/bash -c 'mkdir -p ~/coin-or-coinmumps && cd ~/coin-or-coinmumps && wget --quiet "https://aur.archlinux.org/cgit/aur.git/plain/PKGBUILD?h=coin-or-coinmumps&id=43e3a59117757bb582f52c041b64a741fa19324b" -O PKGBUILD && makepkg -s' &&\
cd /home/builduser/coin-or-coinmumps &&\
pacman -U *.pkg.tar.zst --noconfirm &&\
sudo -u builduser /bin/bash -c 'mkdir -p ~/coin-or-ipopt && cd ~/coin-or-ipopt && wget --quiet https://aur.archlinux.org/cgit/aur.git/plain/PKGBUILD?h=coin-or-ipopt -O PKGBUILD && makepkg -s' &&\
sudo -u builduser /bin/bash -c 'mkdir -p ~/coin-or-ipopt && cd ~/coin-or-ipopt && wget --quiet "https://aur.archlinux.org/cgit/aur.git/plain/PKGBUILD?h=coin-or-ipopt&id=7e213d37212b3c9f2658a7608bf4c0289a8a7319" -O PKGBUILD && makepkg -s' &&\
cd /home/builduser/coin-or-ipopt &&\
pacman -U *.pkg.tar.zst --noconfirm &&\
cd /
......@@ -70,10 +70,10 @@ RUN mkdir -p /opt/bliss
ENV BLISS_BASE_DIR="/opt/bliss"
RUN cd $BLISS_BASE_DIR &&\
wget --quiet http://www.tcs.hut.fi/Software/bliss/bliss-0.73.zip &&\
wget --quiet https://www3.hhu.de/stups/buildlibs/bliss-0.73.zip &&\
unzip $BLISS_BASE_DIR/bliss-0.73.zip &&\
rm -rf $BLISS_BASE_DIR/bliss-0.73.zip &&\
wget --quiet https://www.scipopt.org/download/bugfixes/scip-7.0.1/bliss-0.73.patch &&\
wget --quiet https://www.scipopt.org/download/bugfixes/scip-7.0.0/bliss-0.73.patch &&\
patch -l -p0 < bliss-0.73.patch &&\
mv $BLISS_BASE_DIR/bliss-0.73 $BLISS_BASE_DIR/bliss-0.73p &&\
cd $BLISS_BASE_DIR/bliss-0.73p &&\
......@@ -85,7 +85,7 @@ RUN cd $BLISS_BASE_DIR &&\
ENV PATH="${PATH}:$BLISS_BASE_DIR/bliss-0.73p/"
# Download, build and install the SCIP optimization solver (SCIPOptSuite 7.0.1).
# Download, build and install the SCIP optimization solver (SCIPOptSuite 7.0.3).
# Important note: You are allowed to retrieve a copy of SCIP for research purposes as a member of a noncommercial and academic institution only.
# To get a copy of SCIP, you need to certify that you are a member of a noncommercial, academic institution and accept the ZIB Academic License.
# Commercial use requires a commercial license.
......@@ -94,33 +94,34 @@ RUN mkdir -p /opt/scip
ENV SCIPAMPL_BASE_DIR="/opt/scip"
RUN cd $SCIPAMPL_BASE_DIR &&\
wget --quiet https://www.scipopt.org/download/release/scipoptsuite-7.0.1.tgz &&\
tar xzf $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1.tgz &&\
rm -rf $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1.tgz &&\
wget --quiet https://www.scipopt.org/download/release/scipoptsuite-7.0.3.tgz &&\
tar xzf $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3.tgz &&\
rm -rf $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3.tgz &&\
cd /
RUN cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1 &&\
mkdir -p $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1/build &&\
cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1/build &&\
RUN cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3 &&\
mkdir -p $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3/build &&\
cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3/build &&\
cmake .. -DCMAKE_BUILD_TYPE=Release -DBLISS_DIR=$BLISS_BASE_DIR/bliss-0.73p -DBOOST=on -DGCG=on -DGMP=on -DGSL=on -DHIGHS=on -DHIGHS_DIR=$HiGHS_BASE_DIR/HiGHS -DHMETIS=on -DIPOPT=on -DLPS=spx -DPAPILO=on -DQUADMATH=on -DREADLINE=on -DSCIP=on -DSHARED=on -DSOPLEX=on -DSYM=bliss -DWORHP=off -DZIMPL=on -DZLIB=on &&\
make &&\
cd /
ENV SCIP_DIR=$SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3/build
RUN cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1/scip/interfaces/ampl &&\
RUN cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3/scip/interfaces/ampl &&\
./get.ASL &&\
cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1/scip/interfaces/ampl/solvers &&\
cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3/scip/interfaces/ampl/solvers &&\
sh configurehere &&\
make -f makefile.u &&\
cd /
RUN cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1/scip/interfaces/ampl &&\
mkdir -p $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1/scip/interfaces/ampl/build &&\
cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1/scip/interfaces/ampl/build &&\
cmake .. -DSCIP_DIR=$SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1/build &&\
RUN cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3/scip/interfaces/ampl &&\
mkdir -p $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3/scip/interfaces/ampl/build &&\
cd $SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3/scip/interfaces/ampl/build &&\
cmake .. -DSCIP_DIR=$SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3/build &&\
make &&\
cd /
ENV PATH="${PATH}:$SCIPAMPL_BASE_DIR/scipoptsuite-7.0.1/scip/interfaces/ampl/build"
ENV PATH="${PATH}:$SCIPAMPL_BASE_DIR/scipoptsuite-7.0.3/scip/interfaces/ampl/build"
# Download, build and install the Gurobi optimization solver (Gurobi 9.1.2).
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment