From bd560804e8e929ee4056850137167fbdd2944e65 Mon Sep 17 00:00:00 2001
From: jazullo <josephazullo@gmail.com>
Date: Wed, 13 Sep 2023 00:09:37 +0000
Subject: [PATCH] Update Dockerfile to install MPL

---
 .devcontainer/Dockerfile | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/.devcontainer/Dockerfile b/.devcontainer/Dockerfile
index c0a0a2353..0e8bd8e5a 100644
--- a/.devcontainer/Dockerfile
+++ b/.devcontainer/Dockerfile
@@ -47,4 +47,14 @@ ARG RUST=1.71.0
 # install rustup, rustc, and cargo
 RUN curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh -s -- --default-toolchain=${RUST} -y
 
+ARG MPL=v0.4
+
+# install mpl
+RUN git clone https://github.com/MPLLang/mpl-switch.git
+RUN python3 mpl-switch/mpl-switch init
+ENV PATH="/home/${USERNAME}/.mpl/bin:$PATH"
+RUN echo "export PATH=${PATH}" >> /home/${USERNAME}/.profile
+RUN python3 mpl-switch/mpl-switch install v0.4
+RUN rm -rf mpl-switch
+
 CMD ["bash"]