Fixes docker build on Linux

Fixes #230

Signed-off-by: Yonggang Luo <luoyonggang@gmail.com>
pull/232/head
Yonggang Luo 3 years ago committed by Dan Gohman
parent e8dac183c5
commit 7c4fc5c9b9

@ -1,4 +1,6 @@
#!/usr/bin/env sh
set -e
echo "Building the docker"
docker build -t wasi-sdk-builder:latest .
echo "Building the package in docker"
docker run --mount type=bind,src=$PWD,target=/workspace -e NINJA_FLAGS=-v --workdir /workspace wasi-sdk-builder:latest make package

@ -1,5 +1,6 @@
#!/usr/bin/env bash
set -e
git config --global --add safe.directory "/workspace"
GIT_DESCR=$(git describe --long --candidates=999 --match='wasi-sdk-*' --dirty='+m' --abbrev=12)
GIT_PACKAGE_VERSION=$(echo $GIT_DESCR | perl -ne 'if(/^wasi-sdk-(\d+)-(\d+)-g([0-9a-f]{7,12})([+]m)?$/) { if($2 == 0) { print "$1.$2$4" } else { print "$1.$2g$3$4" } exit } else { print "could not parse git description"; exit 1 }';)
echo $GIT_PACKAGE_VERSION

Loading…
Cancel
Save