diff --git a/docker/Dockerfile_ubuntu_18.04 b/docker/Dockerfile_ubuntu_18.04 index 309a6218da3605e7fb5563374580c20c171ec68c..0b1ad37a1dd507698e7c2d4cc6ce0062f4bd32ac 100644 --- a/docker/Dockerfile_ubuntu_18.04 +++ b/docker/Dockerfile_ubuntu_18.04 @@ -24,3 +24,5 @@ RUN apt-get install -y --no-install-recommends locales && \ update-locale en_US.UTF-8 && \ echo "export LC_ALL=$(locale -a | grep en_US)" >> /root/.bashrc && \ echo "export LANG=$(locale -a | grep en_US)" >> /root/.bashrc +COPY requirements.txt . +RUN pip3 install -r requirements.txt diff --git a/requirements.txt b/requirements.txt new file mode 100755 index 0000000000000000000000000000000000000000..f0c0bd24f0a03d5f5d4fc50ecc260a9b3dacacb1 --- /dev/null +++ b/requirements.txt @@ -0,0 +1,2 @@ +cvxopt==1.2.0 +