Skip to content

Commit

Permalink
Makefile fixes
Browse files Browse the repository at this point in the history
  • Loading branch information
virgil-serbanuta committed Jan 14, 2025
1 parent 18a6791 commit cb307eb
Showing 1 changed file with 4 additions and 1 deletion.
5 changes: 4 additions & 1 deletion Makefile
Original file line number Diff line number Diff line change
Expand Up @@ -276,11 +276,12 @@ test-simple: $(simple_tests_passing:=.run)

### Parsing Tests

build/binary-parsing/%.bprun: tests/binary-parsing/% # build-binary-parser-test TODO: Figure out how to depend on this without rerunning the test each time.
build/binary-parsing/%.bprun: tests/binary-parsing/% build-binary-parser-test
mkdir -p build/binary-parsing
wat2wasm $< -o $@.wasm
cat $@.wasm \
| xxd -ps \
| tr -d '\n' \
| sed 's/\(..\)/\\x\1/g' \
| sed 's/^\(.*\)/\\dv{SortBytes{}}("\1")/' \
> $@.kore
Expand All @@ -299,6 +300,8 @@ binary_parsing_results := $(patsubst tests/binary-parsing/%, build/binary-parsin

test-binary-parsing: $(binary_parsing_results)

.PHONY: test-binary-parsing

### Conformance Tests

conformance_tests:=$(wildcard tests/wasm-tests/test/core/*.wast)
Expand Down

0 comments on commit cb307eb

Please sign in to comment.