|
|
@ -4,7 +4,6 @@ FROM ubuntu:focal
|
|
|
|
ARG DEBIAN_FRONTEND=noninteractive
|
|
|
|
ARG DEBIAN_FRONTEND=noninteractive
|
|
|
|
ARG HEY_URL=https://hey-release.s3.us-east-2.amazonaws.com/hey_linux_amd64
|
|
|
|
ARG HEY_URL=https://hey-release.s3.us-east-2.amazonaws.com/hey_linux_amd64
|
|
|
|
ARG WASI_SDK_URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-8/wasi-sdk_8.0_amd64.deb
|
|
|
|
ARG WASI_SDK_URL=https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-8/wasi-sdk_8.0_amd64.deb
|
|
|
|
ARG WASMCEPTION_URL=https://github.com/gwsystems/wasmception/releases/download/v0.2.0/wasmception-linux-x86_64-0.2.0.tar.gz
|
|
|
|
|
|
|
|
ARG SHFMT_URL=https://github.com/mvdan/sh/releases/download/v3.2.4/shfmt_v3.2.4_linux_amd64
|
|
|
|
ARG SHFMT_URL=https://github.com/mvdan/sh/releases/download/v3.2.4/shfmt_v3.2.4_linux_amd64
|
|
|
|
ARG SHELLCHECK_URL=https://github.com/koalaman/shellcheck/releases/download/v0.7.1/shellcheck-v0.7.1.linux.x86_64.tar.xz
|
|
|
|
ARG SHELLCHECK_URL=https://github.com/koalaman/shellcheck/releases/download/v0.7.1/shellcheck-v0.7.1.linux.x86_64.tar.xz
|
|
|
|
|
|
|
|
|
|
|
@ -48,6 +47,7 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
|
|
|
|
fonts-roboto \
|
|
|
|
fonts-roboto \
|
|
|
|
gnuplot \
|
|
|
|
gnuplot \
|
|
|
|
imagemagick \
|
|
|
|
imagemagick \
|
|
|
|
|
|
|
|
libz3-4 \
|
|
|
|
netpbm \
|
|
|
|
netpbm \
|
|
|
|
pango1.0-tools \
|
|
|
|
pango1.0-tools \
|
|
|
|
wamerican
|
|
|
|
wamerican
|
|
|
@ -76,11 +76,6 @@ ENV LLVM_VERSION=8
|
|
|
|
ADD install_llvm.sh /sledge/install_llvm.sh
|
|
|
|
ADD install_llvm.sh /sledge/install_llvm.sh
|
|
|
|
RUN ./sledge/install_llvm.sh $LLVM_VERSION
|
|
|
|
RUN ./sledge/install_llvm.sh $LLVM_VERSION
|
|
|
|
|
|
|
|
|
|
|
|
# Wasmception
|
|
|
|
|
|
|
|
RUN wget $WASMCEPTION_URL -O wasmception.tar.gz
|
|
|
|
|
|
|
|
RUN mkdir -p /sledge/awsm/wasmception
|
|
|
|
|
|
|
|
RUN tar xvfz wasmception.tar.gz -C /sledge/awsm/wasmception
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
# WASI-SDK
|
|
|
|
# WASI-SDK
|
|
|
|
# TODO: Refactor to output as an arch-neutral filename
|
|
|
|
# TODO: Refactor to output as an arch-neutral filename
|
|
|
|
# RUN curl -sS -L -O $WASI_SDK_URL && dpkg -i wasi-sdk_8.0_amd64.deb && rm -f wasi-sdk_8.0_amd64.deb
|
|
|
|
# RUN curl -sS -L -O $WASI_SDK_URL && dpkg -i wasi-sdk_8.0_amd64.deb && rm -f wasi-sdk_8.0_amd64.deb
|
|
|
|