Install rust for CI

songlarknet · Jan 23, 2024 · 88eed54 · 88eed54
1 parent 639b2dd
commit 88eed54
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/.docker/hierarchic.Dockerfile b/.docker/hierarchic.Dockerfile
@@ -10,7 +10,7 @@ WORKDIR $HOME/karamel
 RUN opam depext ctypes-foreign
 RUN opam install ctypes-foreign
 RUN curl -fsSL https://deb.nodesource.com/setup_16.x | sudo -E bash -
-RUN sudo apt-get install -y nodejs
+RUN sudo apt-get install -y nodejs rust-all
 
 # CI dependencies: sphinx (for the docs)
 # sudo pip3 because of https://bugs.launchpad.net/ubuntu/+source/bash/+bug/1588562

diff --git a/.docker/standalone.Dockerfile b/.docker/standalone.Dockerfile
@@ -15,7 +15,8 @@ RUN apt-get update && \
       sudo \
       opam \
       python3 \
-      python3-distutils
+      python3-distutils \
+      rust-all
 
 
 # Create a new user and give them sudo rights