Skip to content

Commit

Permalink
build: install required deps
Browse files Browse the repository at this point in the history
  • Loading branch information
heueristik committed Nov 12, 2024
1 parent c500f15 commit 64de29f
Showing 1 changed file with 25 additions and 1 deletion.
26 changes: 25 additions & 1 deletion .devcontainer/Dockerfile
Original file line number Diff line number Diff line change
Expand Up @@ -10,13 +10,26 @@ RUN apt-get update && \
sudo \
wget \
git \
&& apt-get clean
make \
cmake \
clang \
lldb \
lld \
llvm \
rsync \
build-essential \
lsb-release \
pkg-config \
software-properties-common \
autoconf && apt-get clean

ENV PATH=${PATH}:/home/vscode/.local/bin
RUN sudo bash -c 'mkdir -p /home/vscode/.local/bin'
RUN sudo bash -c "chown -R vscode /home/vscode/.local/"
RUN sudo bash -c 'chmod -R a+rXw /home/vscode/.local'

RUN sudo bash -c 'curl https://get.wasmer.io -sSfL | sudo WASMER_DIR=/home/vscode/.local sh'

# to be used by the juvix extension
RUN sudo bash -c 'mkdir -p /home/vscode/.local/juvix'

Expand All @@ -27,3 +40,14 @@ RUN sudo bash -c 'curl -s https://api.github.com/repos/anoma/juvix/releases/tags
| head -n 1 \
| wget --output-document juvix.tar.gz -qi - \
&& tar xfv juvix.tar.gz --directory=/home/vscode/.local/bin/'

RUN sudo bash -c 'mkdir -p /home/vscode/.local/wasi-sysroot'
RUN sudo bash -c 'curl -s https://api.github.com/repos/WebAssembly/wasi-sdk/releases/tags/wasi-sdk-16 \
| grep -a "browser_download_url.*wasi-sysroot-16.*tar.gz" \
| cut -d : -f 2,3 \
| tr -d \" \
| wget --output-document wasi-sysroot.tar.gz -qi - \
&& tar xvf wasi-sysroot.tar.gz --directory /home/vscode/.local/wasi-sysroot/'
ENV WASI_SYSROOT_PATH=/home/vscode/.local/wasi-sysroot/


0 comments on commit 64de29f

Please sign in to comment.