Idris2-boot/tests/Makefile

IDRIS2 = ../../../idris2

test:
	@../runtests $(IDRIS2) --only $(only)

clean:
	find . -name '*.ibc' | xargs rm -f
	find . -name 'output' | xargs rm -f
Change main program to be Idris2 With the --yaffle flag, you get the old behaviour which is to invoke the checker for the core theory (and all the tests are updated appropriately for this). 2019-06-09 13:58:29 +03:00			`IDRIS2 = ../../../idris2`
Added test framework (copied from Blodwen) 2019-05-07 12:42:45 +03:00
			`test:`
Add instructions on how to run a subset of the tests 2019-07-28 21:14:11 +03:00			`@../runtests $(IDRIS2) --only $(only)`
Added test framework (copied from Blodwen) 2019-05-07 12:42:45 +03:00
			`clean:`
			`find . -name '*.ibc' \| xargs rm -f`
			`find . -name 'output' \| xargs rm -f`