diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 113 |
1 files changed, 113 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..6c42e62 --- /dev/null +++ b/Makefile @@ -0,0 +1,113 @@ +# tinyvm and zc. `make` builds the tools, the interpreter, the microcore and the +# language server into bin/. nothing built is kept in the tree. +# +# make everything below that is a program +# 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 genome rebuild src/core/genome.h from src/ and check the fixpoint +# make lsp bin/zclsp, the language server +# make web src/web/zc.wasm (needs clang with the wasm32 target) +# make js src/js/genome.json, for the javascript vm +# make run PROG=examples/hello.zc +# compile one program into a run-only image on a memory +# map sized to it (src/tools/automap.sh) -> build/run/zymr +# make clean remove bin/ and build/ and the web build +# +# CC picks the compiler (cc by default; clang works too). + +CC ?= cc +CFLAGS ?= -O2 -w -fwrapv +ifeq ($(OS),Windows_NT) + EXE := .exe + IO := src/core/io_win.c + PORT := src/micro/port_win.c +else + EXE := + IO := src/core/io_linux.c + PORT := src/micro/port_linux.c +endif + +BIN := bin +B := build + +TOOLS := $(BIN)/zc0$(EXE) $(BIN)/mkgenome$(EXE) $(BIN)/genmap$(EXE) +PROGS := $(BIN)/zy$(EXE) $(BIN)/zym$(EXE) $(BIN)/zclsp$(EXE) + +all: $(TOOLS) $(PROGS) + +$(BIN) $(B): + mkdir -p $@ + +$(BIN)/zc0$(EXE): src/tools/zc0.c src/core/memmap.h src/core/fops.h src/core/bops.h | $(BIN) + $(CC) -O1 -w -fwrapv src/tools/zc0.c -Isrc/core -o $@ +$(BIN)/mkgenome$(EXE): src/tools/mkgenome.c | $(BIN) + $(CC) -O1 -w -fwrapv src/tools/mkgenome.c -Isrc/core -o $@ +$(BIN)/genmap$(EXE): src/tools/genmap.c | $(BIN) + $(CC) $(CFLAGS) src/tools/genmap.c -Isrc/core -o $@ + +# the interpreter: the vm core with the compiler genome inside +$(BIN)/zy$(EXE): src/core/core.c $(IO) src/core/genome.h src/core/memmap.h src/core/fops.h src/core/bops.h src/core/stack.h | $(BIN) + $(CC) $(CFLAGS) -DJTYPE=int src/core/core.c $(IO) -Isrc/core -o $@ +# the portable microcore +$(BIN)/zym$(EXE): src/micro/micro.c src/micro/micro_port.h $(PORT) src/core/genome.h src/core/memmap.h src/core/fops.h src/core/bops.h src/core/stack.h | $(BIN) + $(CC) $(CFLAGS) src/micro/micro.c $(PORT) -Isrc/core -Isrc/micro -o $@ + +# the language server is the compiler in check mode plus src/lsp/server.zc, on a map +# sized to it +lsp: $(BIN)/zclsp$(EXE) +$(BIN)/zclsp$(EXE): src/core/core.c src/core/io_linux.c src/core/fops.h src/core/bops.h src/core/stack.h src/core/memmap.h src/runtime/rt.zc src/compiler/compiler.zc src/lsp/server.zc src/tools/zc0.c src/tools/genmap.c src/tools/automap.sh src/tools/mklsp.sh | $(BIN) + CC="$(CC)" bash src/tools/mklsp.sh $(B)/lsp + cp $(B)/lsp/zclsp$(EXE) $@ + +# bootstrap: zc0 compiles the compiler to g0, g0 compiles it to g1, g1 to g2. +# g1 and g2 must be identical (the fixpoint), and g1 becomes src/core/genome.h. +genome: $(BIN)/zc0$(EXE) $(BIN)/mkgenome$(EXE) | $(B) + mkdir -p $(B)/s0 $(B)/s1 + cp src/core/core.c $(IO) src/core/memmap.h src/core/fops.h src/core/bops.h src/core/stack.h $(B)/s0/ + cp src/core/core.c $(IO) src/core/memmap.h src/core/fops.h src/core/bops.h src/core/stack.h $(B)/s1/ + cat src/runtime/rt.zc src/compiler/compiler.zc | $(BIN)/zc0$(EXE) > $(B)/s0/genome.h + $(CC) $(CFLAGS) -DJTYPE=int $(B)/s0/core.c $(B)/s0/$(notdir $(IO)) -o $(B)/zy0$(EXE) + (cat src/tools/build.zc; printf '`'; cat src/runtime/rt.zc src/compiler/compiler.zc) | $(B)/zy0$(EXE) > $(B)/g1.bin + $(BIN)/mkgenome$(EXE) < $(B)/g1.bin > $(B)/s1/genome.h + $(CC) $(CFLAGS) -DJTYPE=int $(B)/s1/core.c $(B)/s1/$(notdir $(IO)) -o $(B)/zy1$(EXE) + (cat src/tools/build.zc; printf '`'; cat src/runtime/rt.zc src/compiler/compiler.zc) | $(B)/zy1$(EXE) > $(B)/g2.bin + cmp $(B)/g1.bin $(B)/g2.bin + cp $(B)/s1/genome.h src/core/genome.h + @echo "fixpoint: $$(( $$(wc -c < $(B)/g1.bin) / 8 )) words, src/core/genome.h updated" + +js: src/js/genome.json src/js/layout.ts src/js/layout.js src/js/tinyvm.js +src/js/genome.json: src/core/genome.h src/core/memmap.h src/js/extract_genome.js src/js/mapvalues.js + node src/js/extract_genome.js +src/js/layout.ts: src/js/genome.json + @test -f $@ || node src/js/extract_genome.js +src/js/layout.js: src/js/layout.ts + @test -f $@ || node src/js/extract_genome.js +src/js/tinyvm.js: src/js/tinyvm.ts src/js/layout.ts + tsc src/js/tinyvm.ts --target es2020 --lib es2020,dom --module commonjs --outDir src/js + +web: src/web/zc.wasm +src/web/zc.wasm: src/micro/micro.c src/micro/micro_port.h src/web/port_wasm.c src/web/build.sh src/core/genome.h src/core/memmap.h src/core/fops.h src/core/bops.h src/core/stack.h + bash src/web/build.sh $@ + +# one program as a run-only image: the runtime, the program, and a map exactly +# big enough for them +run: | $(B) + @test -n "$(PROG)" || { echo "make run PROG=examples/hello.zc"; exit 2; } + bash src/tools/automap.sh run $(B)/run src/runtime/run.zc $(PROG) + cp src/micro/micro.c src/micro/micro_port.h $(PORT) src/core/fops.h src/core/bops.h src/core/stack.h $(B)/run/ + $(CC) $(CFLAGS) $(B)/run/micro.c $(B)/run/$(notdir $(PORT)) -I$(B)/run -o $(B)/run/zymr$(EXE) + @echo "built $(B)/run/zymr$(EXE)" + +# JOBS sets how many sections run at once: make test JOBS=4 +test: + bash tests/test.sh -j $(or $(JOBS),1) + +# the minimal suite: bootstrap, fixpoint, interpreter and lsp checks +check: + bash tests/test.sh -q -j $(or $(JOBS),2) + +clean: + rm -rf $(BIN) $(B) src/web/zc.wasm + +.PHONY: all lsp genome js web run test check clean |