Amici should have already been installed?

Install it explicitly, but it shouldn't make a difference.
biosimulators · Jun 23, 2023 · 3e0e2d9 · 3e0e2d9
1 parent 3e7ce57
commit 3e0e2d9
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/Dockerfile b/Dockerfile
@@ -46,9 +46,8 @@ RUN apt-get update -y \
 # Copy code for command-line interface into image and install it
 COPY . /root/Biosimulators_AMICI
 RUN pip install pip==23.0.1
-RUN pip install /root/Biosimulators_AMICI \
+RUN pip install /root/Biosimulators_AMICI amici==${SIMULATOR_VERSION} \
     && rm -rf /root/Biosimulators_AMICI
-RUN pip install amici==${SIMULATOR_VERSION}
 ENV VERBOSE=0 \
     MPLBACKEND=PDF