Bump wasi-libc

pull/640/head
Sy Brand 6 months ago
parent c875c98e68
commit 9592f42aef

@ -12,13 +12,26 @@ rm -rf dist
mkdir dist mkdir dist
version=$(./version.py) version=$(./version.py)
# Array of experimental release prefixes to strip
experimental_prefixes=("experimental-threading-")
# Strip matching prefix if found
matched_prefix=""
for prefix in "${experimental_prefixes[@]}"; do
if [[ $version == $prefix* ]]; then
matched_prefix=${prefix%-} # Remove trailing dash from prefix
version=${version#$prefix}
break
fi
done
make_deb() { make_deb() {
build=$1 build=$1
dir=$2 dir=$2
if ! command -v dpkg-deb >/dev/null; then #if ! command -v dpkg-deb >/dev/null; then
return # return
fi #fi
case $build in case $build in
dist-x86_64-linux) deb_arch=amd64 ;; dist-x86_64-linux) deb_arch=amd64 ;;
@ -31,12 +44,13 @@ make_deb() {
mkdir dist/pkg mkdir dist/pkg
mkdir dist/pkg/opt mkdir dist/pkg/opt
mkdir dist/pkg/DEBIAN mkdir dist/pkg/DEBIAN
sed s/VERSION/$version/ wasi-sdk.control | \ sed "s/Package: wasi-sdk$/Package: wasi-sdk${matched_prefix:+-$matched_prefix}/" wasi-sdk.control | \
sed s/VERSION/$version/ | \
sed s/ARCH/$deb_arch/ > dist/pkg/DEBIAN/control sed s/ARCH/$deb_arch/ > dist/pkg/DEBIAN/control
cp -R $dir dist/pkg/opt/wasi-sdk cp -R $dir dist/pkg/opt/wasi-sdk
deb_name=$(echo $(basename $dir) | sed 's/.tar.gz//') deb_name=$(echo $(basename $dir) | sed 's/.tar.gz//')
(cd dist && dpkg-deb -b pkg $deb_name.deb) (cd dist && dpkg-deb -b pkg $deb_name.deb)
rm -rf dist/pkg #rm -rf dist/pkg
} }
for build in dist-*; do for build in dist-*; do
@ -69,9 +83,9 @@ for build in dist-*; do
tar czf dist/$sdk_dir.tar.gz -C dist $sdk_dir tar czf dist/$sdk_dir.tar.gz -C dist $sdk_dir
if echo $build | grep -q linux; then #if echo $build | grep -q linux; then
make_deb $build dist/$sdk_dir make_deb $build dist/$sdk_dir
fi #fi
rm -rf dist/$sdk_dir rm -rf dist/$sdk_dir
done done

@ -1 +1 @@
Subproject commit aba8568450d64f3816c931815ff7ba4f9e6a5db1 Subproject commit 53be6e50da14cf65e10de0065fe1382ec94e1838
Loading…
Cancel
Save