X-Git-Url: https://osm.etsi.org/gitweb/?p=osm%2FPLA.git;a=blobdiff_plain;f=Dockerfile;h=7470d5204987596d7e7c654f8a178436bd59461b;hp=e6b2f785730f853e5b13cc4cdd7534fcea53e51f;hb=HEAD;hpb=6e06e75f1a9f62675de73701098be6a5fd043924 diff --git a/Dockerfile b/Dockerfile index e6b2f78..e3e66cf 100644 --- a/Dockerfile +++ b/Dockerfile @@ -21,19 +21,28 @@ # devops-stages/stage-build.sh # -FROM ubuntu:18.04 +FROM ubuntu:22.04 + +ARG APT_PROXY +RUN if [ ! -z $APT_PROXY ] ; then \ + echo "Acquire::http::Proxy \"$APT_PROXY\";" > /etc/apt/apt.conf.d/proxy.conf ;\ + echo "Acquire::https::Proxy \"$APT_PROXY\";" >> /etc/apt/apt.conf.d/proxy.conf ;\ + fi RUN DEBIAN_FRONTEND=noninteractive apt-get update && \ DEBIAN_FRONTEND=noninteractive apt-get -y install \ debhelper \ + dh-python \ git \ python3 \ python3-all \ python3-dev \ - python3-setuptools + python3-setuptools \ + python3-pip \ + tox -RUN python3 -m easy_install pip==21.0.1 -RUN pip3 install tox==3.22.0 +ENV LC_ALL C.UTF-8 +ENV LANG C.UTF-8 ADD https://github.com/MiniZinc/MiniZincIDE/releases/download/2.4.2/MiniZincIDE-2.4.2-bundle-linux-x86_64.tgz /minizinc.tgz