Idris-dev/examples/Makefile

mirror of https://github.com/ilyakooo0/Idris-dev.git synced 2024-11-15 01:25:05 +03:00
check: .PHONY
	rm -f *.ibc
	for x in *.idr ; do \
	echo "Checking $$x"; \
	idris --check $$x; \
	done
	
.PHONY:
Remove semicolons in tutorial 2012-01-07 03:20:03 +04:00			`check: .PHONY`
Error message tinker 2012-01-25 00:20:44 +04:00			`rm -f *.ibc`
Remove semicolons in tutorial 2012-01-07 03:20:03 +04:00			`for x in *.idr ; do \`
			`echo "Checking $$x"; \`
			`idris --check $$x; \`
			`done`

			`.PHONY:`