-
Notifications
You must be signed in to change notification settings - Fork 1
/
Copy pathMakefile
42 lines (35 loc) · 1.22 KB
/
Makefile
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
wasi_white_list="read_write"
build:
cargo build
cargo build --release
cargo build --target wasm32-wasi
cargo build --target wasm32-wasi --release
@find . -type f -name Makefile | grep -v "^./Makefile" | while read dir; do \
echo "Executing in $$dir"; \
(cd `dirname $$dir` && $(MAKE)); \
done
# wasm32-unknown-unknown
@ls target/wasm32-unknown-unknown/release/*.wasm | while read name; do \
cp $$name plugins/; \
done
@ls target/wasm32-unknown-unknown/debug/*.wasm | while read name; do \
export newFilename=$$(echo $$name | sed 's/\.wasm/.debug.wasm/g'); \
cp $$name plugins/$$(basename $$newFilename); \
done
# wasm32-wasi
@ls target/wasm32-wasi/release/*.wasm | while read name; do \
for i in $(wasi_white_list); do \
if [ "$$i" = "$$(basename $$name | sed 's/\.wasm//g')" ]; then \
cp $$name plugins/; \
fi; \
done; \
done
@ls target/wasm32-wasi/debug/*.wasm | while read name; do \
newFilename=$$(echo $$name | sed 's/\.wasm/.debug.wasm/g'); \
for i in $(wasi_white_list); do \
if [ "$$i" = "$$(basename $$name | sed 's/\.wasm//g')" ]; then \
cp $$name plugins/$$(basename $$newFilename); \
fi; \
done; \
done
@for i in *.wat; do wasm-tools parse $$i -o plugins/$${i%.wat}.wasm; done