From 88eed54cf234ed1737856cae271329614139d782 Mon Sep 17 00:00:00 2001
From: Jonathan Protzenko <protz@microsoft.com>
Date: Tue, 23 Jan 2024 12:27:37 -0800
Subject: [PATCH] Install rust for CI

---
 .docker/hierarchic.Dockerfile | 2 +-
 .docker/standalone.Dockerfile | 3 ++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/.docker/hierarchic.Dockerfile b/.docker/hierarchic.Dockerfile
index 042920128..b7ccd72e8 100644
--- 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
index d92931a0c..7c199f39b 100644
--- 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