diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 10 |
1 files changed, 9 insertions, 1 deletions
@@ -9,6 +9,9 @@ # 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 xref who writes and who reads each global of the compiler +# (src/tools/xref.sh): build/xref/report.txt and report.json; +# make xref XREF_ARGS=--check compares with tests/xref.baseline # make genome build/core/genome.bin from src/, with the fixpoint check # make build/bin/zyi the interpreter alone (zy has a jit on arm64 and on x86-64 linux) # make lsp build/bin/zclsp, the language server @@ -156,6 +159,11 @@ run: parity: $(BIN)/zc0$(EXE) $(BIN)/mkgenome$(EXE) $(BIN)/zy$(EXE) bash src/tools/parity.sh +# the compiler's globals, by writer and reader; the language server supplies the exact +# scoping. XREF_ARGS passes options: --check (ci), --update (rewrite the baseline). +xref: $(BIN)/zclsp$(EXE) + bash src/tools/xref.sh $(XREF_ARGS) + # JOBS sets how many sections run at once: make test JOBS=4 test: bash tests/test.sh -j $(or $(JOBS),1) @@ -167,4 +175,4 @@ check: clean: rm -rf $(B) -.PHONY: all lsp genome js lspimage vsix web run parity test check clean +.PHONY: all lsp genome js lspimage vsix web run parity xref test check clean |