Guest User

Untitled

a guest
Jan 18th, 2022
159
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.81 KB | None | 0 0
  1. FROM debian:buster-slim
  2.  
  3. # Install packages
  4. ARG DEBIAN_FRONTEND=noninteractive
  5. RUN apt-get update && apt-get -qq -y install --no-install-recommends build-essential gcc g++ bison flex perl-base tcl-dev \
  6. libxml2-dev libxml2-utils zlib1g-dev wget cmake python python3 python3-wheel python3-dev python3-pygraphviz ca-certificates
  7.  
  8. # graph-tool repo
  9. ADD 612DEFB798507F25.gpg /root
  10. RUN apt update && apt install -q -y gnupg ca-certificates
  11. RUN apt-key add /root/612DEFB798507F25.gpg
  12. RUN echo "deb http://downloads.skewed.de/apt buster main" > /etc/apt/sources.list.d/skewed-graph-tool.list
  13.  
  14. # Needed for OpenJDK in slim image, see https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=863199#23
  15. RUN mkdir -p /usr/share/man/man1
  16. # Dependencies for all python scripts/runners
  17. RUN apt update && apt install -y -q --no-install-recommends git ssh python3-pip gir1.2-gtk-3.0 openjdk-11-jre-headless \
  18. python3-graph-tool python3-lxml python3-jinja2 python3-setuptools python3-matplotlib python3-cairo python3-gi \
  19. gobject-introspection python3-networkx python3-redis python3-pandas python3-numpy vim sudo zsh zsh-autosuggestions \
  20. zsh-syntax-highlighting python3-natsort jq
  21.  
  22. WORKDIR /opt
  23. RUN wget -P /root https://packages.gurobi.com/9.1/gurobi9.1.2_linux64.tar.gz && tar xzf /root/gurobi9.1.2_linux64.tar.gz
  24. WORKDIR /opt/gurobi912/linux64/src/build
  25. RUN make && cp libgurobi_c++.a ../../lib
  26. WORKDIR /opt/gurobi912/linux64
  27. RUN python3 setup.py install
  28. ENV GUROBI_HOME="/opt/gurobi912/linux64"
  29. ENV PATH="${PATH}:${GUROBI_HOME}/bin"f
  30. ENV LD_LIBRARY_PATH="${LD_LIBRARY_PATH}:${GUROBI_HOME}/lib"
  31. ADD gurobi.lic "${GUROBI_HOME}/gurobi.lic"
  32. ENV GRB_LICENSE_FILE="${GUROBI_HOME}/gurobi.lic"
  33.  
  34. ADD entrypoint.sh /usr/local/sbin/entrypoint.sh
  35. RUN chmod +x /usr/local/sbin/entrypoint.sh
  36. ENTRYPOINT [ "/usr/local/sbin/entrypoint.sh" ]
  37.  
Advertisement
Add Comment
Please, Sign In to add comment