diff options
| author |  zinc <zinc@downsta.ir>
| 2026-10-14 15:42:33 +0330 |
|---|---|---|
| committer | zinc <zinc@downsta.ir>
| 2026-10-14 15:42:33 +0330 |
| commit | bb4643ce2384513fa65b7783a015d751f2ca2e12 (patch) | |
| tree | 02d2470d7996f074475ccd553d1cbf471527b684 /Makefile | |
| parent | todo: record each agent's state at the end of the session and the merge order (diff) | |
| parent | xref: checked-in baseline, --check self-test hooked into the lsp section, todo (diff) | |
merge xref report: baseline, --check, self-test
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 |