diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 9 |
1 files changed, 8 insertions, 1 deletions
@@ -7,6 +7,8 @@ # make test the whole suite (tests/test.sh) # make check the minimal suite, for iterating (tests/test.sh -q) # make test JOBS=4 the same, four sections at a time +# make parity compile the test programs with zc0 and with the self-hosted +# compiler and compare what they print (src/tools/parity.sh) # make genome build/core/genome.bin from src/, with the fixpoint check # make lsp build/bin/zclsp, the language server # make web build/web/: the page, its script and zc.wasm @@ -143,6 +145,11 @@ run: $(CC) $(CFLAGS) $(MICRO_THREADS) src/micro/micro.c $(PORT) -Isrc/core -Isrc/micro -I$(B)/run --embed-dir=$(B)/run -o $(B)/run/zymr$(EXE) @echo "built $(B)/run/zymr$(EXE)" +# the two compilers on the same programs: whatever zc0 accepts must print the same +# under both. work files go to build/parity/. +parity: $(BIN)/zc0$(EXE) $(BIN)/mkgenome$(EXE) $(BIN)/zy$(EXE) + bash src/tools/parity.sh + # JOBS sets how many sections run at once: make test JOBS=4 test: bash tests/test.sh -j $(or $(JOBS),1) @@ -154,4 +161,4 @@ check: clean: rm -rf $(B) -.PHONY: all lsp genome js lspimage vsix web run test check clean +.PHONY: all lsp genome js lspimage vsix web run parity test check clean |