diff --git a/Dockerfile b/Dockerfile index ec9f963..b28d50c 100644 --- a/Dockerfile +++ b/Dockerfile @@ -23,8 +23,10 @@ ENV JULIA_DEPOT_PATH=/opt/julia JULIA_PKGDIR=/opt/julia RUN chmod 1777 /opt/julia/logs # Add packages (and force compilation if not already done) +# Note the line-continuation backslash ("\") at the end of each line so that +# all packages are installed in one Julia invocation. RUN julia -e 'using Pkg; Pkg.add("CSV"); Pkg.add("DataFrames"); \ - Pkg.add("FileIO"); Pkg.add("GSEE"); Pkg.add("Gurobi"); \ + Pkg.add("FileIO"); Pkg.add("Gurobi"); \ Pkg.add("HiGHS"); Pkg.add("JuMP"); Pkg.add("Plots"); \ Pkg.add("PrettyTables"); Pkg.add("Random"); \ Pkg.add("Statistics"); Pkg.add("VegaLite"); \