pi/makefile

.PHONY: all run
all:
	idris2 --build pi.ipkg
clean:
	idris2 --clean pi.ipkg
run:
	./build/exec/pi
test:
	@for file in ./tests/*.pi; do ./build/exec/pi $$file; done
parser is now useable for tests n stuff 2022-07-26 01:11:44 +02:00			`.PHONY: all run`
initial commit 2022-04-23 15:18:06 +02:00			`all:`
			`idris2 --build pi.ipkg`
definition system, repl 2022-07-26 23:07:13 +02:00			`clean:`
			`idris2 --clean pi.ipkg`
parser is now useable for tests n stuff 2022-07-26 01:11:44 +02:00			`run:`
			`./build/exec/pi`
			`test:`
identity types ! removed values that should not be improved eliminator computation improved conversion 2022-07-26 06:09:57 +02:00			`@for file in ./tests/*.pi; do ./build/exec/pi $$file; done`