git.iko.soy/Idris-dev
on fb3160e help sign in
Idris-dev/lib/Makefile
22 lines 408 B history raw
2check: .PHONY
3 $(IDRIS) --noprelude --verbose --check checkall.idr
5recheck: clean check
7install: check
8 mkdir -p $(TARGET)/prelude
9 mkdir -p $(TARGET)/network
10 install *.ibc $(TARGET)
11 install prelude/*.ibc $(TARGET)/prelude
12 install network/*.ibc $(TARGET)/network
14clean: .PHONY
15 rm -f *.ibc
16 rm -f prelude/*.ibc
17 rm -f network/*.ibc
19linecount: .PHONY
20 wc -l *.idr network/*.idr prelude/*.idr
22.PHONY: