From a5617dfe070bbadaa0afb1ca8228e2ead36a05b2 Mon Sep 17 00:00:00 2001 From: Daniel Olsen Date: Fri, 5 Feb 2021 13:18:13 -0800 Subject: [PATCH] chore: add Gurobi add and import to Dockerfile --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 0def86bf..3fc8aaf0 100644 --- a/Dockerfile +++ b/Dockerfile @@ -21,7 +21,7 @@ ENV PATH="$PATH:/usr/share/julia-1.5.3/bin" \ WORKDIR /app COPY . . -RUN julia -e 'using Pkg; Pkg.activate("."); Pkg.instantiate(), using REISE' && \ +RUN julia -e 'using Pkg; Pkg.activate("."); Pkg.instantiate(); Pkg.add("Gurobi"); import Gurobi; using REISE' && \ pip install -r requirements.txt