anoma/juvix
1
1
Fork 0
mirror of https://github.com/anoma/juvix.git synced 2024-12-02 23:43:01 +03:00
Code Issues Projects Releases Wiki Activity

Use juvix-installer in CodeSpaces, install vamp-ir (#2210)

Browse Source 
- Closes #2113
- Install `vamp-ir`.

---------

Co-authored-by: Jonathan Cubides <jonathan.cubides@uib.no>
This commit is contained in:
Veronika Romashkina 2023-06-20 13:19:27 +01:00 committed by GitHub
parent 50553758c2
commit 02e2f9f2dd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 39 additions and 45 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

84
.devcontainer/Dockerfile
View File

@ -12,46 +12,48 @@ ENV BOOTSTRAP_HASKELL_INSTALL_HLS=1
# OS packages for ghcup and juvix runtime
RUN apt-get update && \
apt-get -y install --no-install-recommends \
curl \
sudo \
wget \
unzip \
git \
jq \
bc \
make \
cmake \
clang \
lldb \
lld \
llvm \
automake \
rsync \
htop \
build-essential \
lsb-release \
pkg-config \
libffi-dev \
libgmp-dev \
libgmp10 \
software-properties-common \
libssl-dev \
libicu-dev \
libtinfo-dev \
libsystemd-dev \
zlib1g-dev \
g++ \
libncurses-dev \
libncursesw5 \
libtinfo5 \
libtool \
autoconf && apt-get clean
apt-get -y install --no-install-recommends \
curl \
sudo \
wget \
unzip \
git \
jq \
bc \
make \
cmake \
clang \
lldb \
lld \
llvm \
automake \
rsync \
htop \
build-essential \
lsb-release \
pkg-config \
libffi-dev \
libgmp-dev \
libgmp10 \
software-properties-common \
libssl-dev \
libicu-dev \
libtinfo-dev \
libsystemd-dev \
zlib1g-dev \
g++ \
libncurses-dev \
libncursesw5 \
libtinfo5 \
libtool \
autoconf && apt-get clean
RUN sudo bash -c 'curl -sSL https://get.haskellstack.org/ | sh'
ENV PATH=${PATH}:/home/vscode/.ghcup/bin
RUN sudo bash -c "curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh"
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/"
@ -62,13 +64,8 @@ RUN sudo bash -c 'curl https://get.wasmer.io -sSfL | sudo WASMER_DIR=/home/vscod
RUN sudo bash -c 'mkdir -p /home/vscode/.local/juvix'
RUN sudo bash -c 'chmod -R a+rXw /home/vscode/.local/juvix'
RUN sudo bash -c 'curl -s https://api.github.com/repos/anoma/juvix/releases/latest \
| grep -a "browser_download_url.*linux" \
| cut -d : -f 2,3 \
| tr -d \" \
| wget --output-document juvix.zip -qi - \
&& unzip juvix.zip \
&& mv juvix /home/vscode/.local/bin/juvix'
RUN sudo bash -c 'curl --proto "=https" --tlsv1.2 -sSfL https://get.juvix.org \
| sudo XDG_BIN_HOME=/home/vscode/.local/bin JUVIX_INSTALLER_INSTALL_VAMPIR_YES=true JUVIX_INSTALLER_ASSUME_YES=true sh'
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 \
@ -86,6 +83,3 @@ RUN sudo bash -c 'curl -s https://api.github.com/repos/jonaprieto/smoke/releases
| wget --output-document smoke -qi - \
&& mv smoke /home/vscode/.local/bin/smoke \
&& chmod a+x /home/vscode/.local/bin/smoke'
USER vscode
RUN bash -c "curl --proto '=https' --tlsv1.2 -sSf https://get-ghcup.haskell.org | sh"