git.iko.soy/Idris-dev
on 4e0fe22 help sign in
Idris-dev/lib/Makefile
28 lines 651 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 mkdir -p $(TARGET)/language
11 mkdir -p $(TARGET)/control/monad
12 install *.ibc $(TARGET)
13 install prelude/*.ibc $(TARGET)/prelude
14 install network/*.ibc $(TARGET)/network
15 install language/*.ibc $(TARGET)/language
16 install control/monad/*.ibc $(TARGET)/control/monad
18clean: .PHONY
19 rm -f *.ibc
20 rm -f prelude/*.ibc
21 rm -f network/*.ibc
22 rm -f language/*.ibc
23 rm -f control/monad/*.ibc
25linecount: .PHONY
26 wc -l *.idr network/*.idr language/*.idr prelude/*.idr control/monad/*.idr
28.PHONY: