@ 261106.1 · fetching
current
SHARED_MEM=false

# SpiderMonkey shell
#JSSHELL=~/mozilla-central/js/src/build-debug/dist/bin/js -e "const WITH_SHARED_MEMORY=$(SHARED_MEM); const INDEX_TYPE='$(INDEX_TYPE)';" -f common.js

# Node.js
JSSHELL=./noderun.sh $(SHARED_MEM)

TARGETDIR=../core/bulk-memory
TARGETDIR64=../core/memory64

WAST_FILES = memory_copy memory_init memory_fill table_copy table_init
TARGETS32 = $(patsubst %,$(TARGETDIR)/%.wast,$(WAST_FILES))
TARGETS64 = $(patsubst %,$(TARGETDIR64)/%64.wast,$(WAST_FILES))

.PHONY: all

all: $(TARGETS32) $(TARGETS64)

$(TARGETDIR)/%.wast: generate_%.js common.js Makefile
	$(JSSHELL) i32 $< > $@

$(TARGETDIR64)/%64.wast: generate_%.js common.js Makefile
	$(JSSHELL) i64 $< > $@