git.iko.soy/Idris-dev
on 0338d39 help sign in
Idris-dev/lib/Makefile
25 lines 522 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)/control/monad
11 install *.ibc $(TARGET)
12 install prelude/*.ibc $(TARGET)/prelude
13 install network/*.ibc $(TARGET)/network
14 install control/monad/*.ibc $(TARGET)/control/monad
16clean: .PHONY
17 rm -f *.ibc
18 rm -f prelude/*.ibc
19 rm -f network/*.ibc
20 rm -f control/monad/*.ibc
22linecount: .PHONY
23 wc -l *.idr network/*.idr prelude/*.idr
25.PHONY: