move to wasi-sdk 10

This commit is contained in:
vms 2020-04-17 19:19:02 +03:00
parent af798f02a8
commit 9a417a2daf
2 changed files with 5 additions and 5 deletions

View File

@ -1,4 +1,4 @@
FROM ubuntu:19.04
FROM ubuntu:18.04
RUN apt-get update \
&& apt-get install -y ca-certificates \
@ -7,7 +7,7 @@ RUN apt-get update \
make \
libtinfo5
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 /
RUN curl -L https://github.com/WebAssembly/wasi-sdk/releases/download/wasi-sdk-10/wasi-sdk-10.0-linux.tar.gz | tar xz --strip-components=1 -C /
VOLUME /code
WORKDIR /code

View File

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