fix: dockerfile issues

Dockerfile.x86_64

@@ -80,7 +80,7 @@ RUN ./sledge/install_llvm.sh $LLVM_VERSION
 
 # WASI-SDK
 RUN curl -sS -L -O $WASI_SDK_URL && dpkg -i wasi-sdk_12.0_amd64.deb && rm -f wasi-sdk_12.0_amd64.deb
-ENV WASI_SDK=/opt/wasi-sdk
+ENV WASI_SDK_PATH=/opt/wasi-sdk
 
 # Create non-root user and add to sudoers
 ARG USERNAME=dev

applications/Makefile

@@ -12,7 +12,7 @@ LDFLAGS=-shared -fPIC -Wl,--export-dynamic,--whole-archive -L../libsledge/dist/
 # LDFLAGS=-flto -fvisibility=hidden
 
 dist:
-	mkdir dist
+	mkdir -p dist
 
 .PHONY: all
 all: \

libsledge/Makefile

@@ -21,7 +21,7 @@ CFLAGS := -fPIC -O3
 all: dist/libsledge.a
 
 dist:
-	mkdir dist
+	mkdir -p dist
 
 dist/%.o: src/%.c dist
 	clang ${CFLAGS} -c ${INCLUDES} -o $@ $<