chore: add Gurobi add and import to Dockerfile

Breakthrough-Energy · Feb 5, 2021 · a5617df · a5617df
1 parent d07c39d
commit a5617df
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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