switch to wasi-sdk 6

This commit is contained in:
vms 2019-08-14 01:07:00 +03:00
parent 0ee0813e78
commit 51acd7a28a
2 changed files with 4 additions and 3 deletions

View File

@ -4,9 +4,10 @@ RUN apt-get update \
&& apt-get install -y ca-certificates \ && apt-get install -y ca-certificates \
curl \ curl \
git \ git \
make make \
libtinfo5
RUN curl -L https://github.com/CraneStation/wasi-sdk/releases/download/wasi-sdk-4/wasi-sdk-4.0-linux-amd64.tar.gz | tar xz --strip-components=1 -C / RUN curl -L https://github.com/CraneStation/wasi-sdk/releases/download/wasi-sdk-6/wasi-sdk-6.0-linux.tar.gz | tar xz --strip-components=1 -C /
VOLUME /code VOLUME /code
WORKDIR /code WORKDIR /code

View File

@ -1,6 +1,6 @@
TARGET = hello_world TARGET = hello_world
CC = /opt/wasi-sdk/bin/clang CC = /opt/wasi-sdk/bin/clang
SYSROOT = /opt/wasi-sdk/share/sysroot SYSROOT = /opt/wasi-sdk/share/wasi-sysroot
TARGET_TRIPLE = wasm32-unknown-wasi TARGET_TRIPLE = wasm32-unknown-wasi
CFLAGS = -nostartfiles -fvisibility=hidden CFLAGS = -nostartfiles -fvisibility=hidden
LDFLAGS = -Wl,--no-entry,--demangle,--allow-undefined LDFLAGS = -Wl,--no-entry,--demangle,--allow-undefined