Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 17c90c5

Browse files
committedNov 22, 2024·
3.1.72pre
1 parent ff66697 commit 17c90c5

File tree

4 files changed

+10
-6
lines changed

4 files changed

+10
-6
lines changed
 

‎emsdk-cc

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -125,6 +125,8 @@ WASM_EXTRA = env("WASM_EXTRA", "") + " " + env("WASM_OPTS", "")
125125
# the only sane default for now
126126
COPTS = env("COPTS", "-O2 -g3")
127127

128+
SIZEOPT = '-Os' in COPTS
129+
128130
MAIN_MODULE = LINKING = STATIC = False
129131

130132
EXE = False
@@ -366,7 +368,8 @@ else:
366368
except Exception as e:
367369
dbg("ERROR: 312", e)
368370

369-
final.append("-sENVIRONMENT=node")
371+
if SIZEOPT:
372+
final.append("-sENVIRONMENT=node")
370373

371374
# error: explicitly setting EXIT_RUNTIME not compatible with STANDALONE_WASM.
372375
# EXIT_RUNTIME will always be True for programs (with a main function) and False for reactors (not main function).
@@ -378,7 +381,7 @@ else:
378381

379382
__import__("atexit").register(make_exe)
380383
elif HTML:
381-
if "-sENVIRONMENT=web" not in out:
384+
if SIZEOPT and ("-sENVIRONMENT=web" not in out):
382385
final.append("-sENVIRONMENT=web")
383386

384387
# maybe not pass all WASM opts when -c + -o but always PIC and opt level

‎python-wasi-sdk.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -172,10 +172,10 @@ END
172172
echo "keeping installed wasmtime and wasi binaries"
173173
else
174174
#wget https://github.com/bytecodealliance/wasmtime/releases/download/v22.0.0/wasmtime-v22.0.0-x86_64-linux.tar.xz
175-
175+
# wget https://github.com/bytecodealliance/wasmtime/releases/download/v26.0.1/wasmtime-v26.0.1-$(arch)-$(PLATFORM).tar.xz \
176176
# TODO: window only has a zip archive, better use wasmtime-py instead.
177177

178-
wget https://github.com/bytecodealliance/wasmtime/releases/download/v26.0.1/wasmtime-v26.0.1-$(arch)-$(PLATFORM).tar.xz \
178+
wget https://github.com/bytecodealliance/wasmtime/releases/download/v27.0.0/wasmtime-v27.0.0-$(arch)-$(PLATFORM).tar.xz \
179179
-O-|xzcat|tar xfv -
180180
mv -vf $(find wasmtime*|grep /wasmtime$) ${SDKROOT}/devices/$(arch)/usr/bin
181181
fi

‎python-wasm-sdk.sh

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -172,10 +172,10 @@ END
172172
echo "keeping installed wasmtime and wasi binaries"
173173
else
174174
#wget https://github.com/bytecodealliance/wasmtime/releases/download/v22.0.0/wasmtime-v22.0.0-x86_64-linux.tar.xz
175-
175+
# wget https://github.com/bytecodealliance/wasmtime/releases/download/v26.0.1/wasmtime-v26.0.1-$(arch)-$(PLATFORM).tar.xz \
176176
# TODO: window only has a zip archive, better use wasmtime-py instead.
177177

178-
wget https://github.com/bytecodealliance/wasmtime/releases/download/v26.0.1/wasmtime-v26.0.1-$(arch)-$(PLATFORM).tar.xz \
178+
wget https://github.com/bytecodealliance/wasmtime/releases/download/v27.0.0/wasmtime-v27.0.0-$(arch)-$(PLATFORM).tar.xz \
179179
-O-|xzcat|tar xfv -
180180
mv -vf $(find wasmtime*|grep /wasmtime$) ${SDKROOT}/devices/$(arch)/usr/bin
181181
fi

‎wasisdk/hotfix/grp.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+
//

0 commit comments

Comments
 (0)
Please sign in to comment.