Update Dockerfile to install MPL

iu-parfunc · Sep 13, 2023 · bd56080 · bd56080
1 parent 01056b0
commit bd56080
Showing 1 changed file with 10 additions and 0 deletions.
diff --git 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"]