check: .PHONY
	$(BINDIR)/idris --noprelude --verbose --check checkall.idr

recheck: clean check

install: check
	mkdir -p $(TARGET)/prelude
	mkdir -p $(TARGET)/network
	install *.ibc $(TARGET)
	install prelude/*.ibc $(TARGET)/prelude
	install network/*.ibc $(TARGET)/network

clean: .PHONY
	rm -f *.ibc
	rm -f prelude/*.ibc
	rm -f network/*.ibc

linecount: .PHONY
	wc -l *.idr network/*.idr prelude/*.idr

.PHONY: