Merge pull request #100 from mrc-ide/mrc-5250

Avoid currently offline r-opt universe
mrc-ide · Apr 16, 2024 · 6673f2f · 6673f2f
2 parents bf42e2a + 90b4ab6
commit 6673f2f
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/docker/Dockerfile b/docker/Dockerfile
@@ -11,10 +11,10 @@ COPY docker/install_packages /usr/local/bin/
 
 RUN install_packages \
         --repo=https://mrc-ide.r-universe.dev \
-        --repo=https://r-opt.r-universe.dev \
+        # --repo=https://r-opt.r-universe.dev \
         R6 \
         ROI.plugin.glpk \
-        ROIoptimizer \
+        # ROIoptimizer \
         commonmark \
         dplyr \
         glue \
@@ -23,10 +23,12 @@ RUN install_packages \
         plumber \
         porcelain \
         remotes \
-        rmpk \
+        # rmpk \
         testthat \
         tidyr
 
+RUN Rscript -e 'remotes::install_github(c("r-opt/ROIoptimizer", "r-opt/rmpk"))'
+
 WORKDIR /mintr
 
 COPY . /src