git.iko.soy/Idris-dev
on master help sign in
Forgot the Makefile in prelude!
a7f86feEdwin Brady
libs/prelude/Makefilenew file+17
compare with master
unifiedsplit
@@ -0,0 +1,17 @@
1+IDRIS := idris
2+
3+build: .PHONY
4+ $(IDRIS) --build prelude.ipkg
5+
6+install:
7+ $(IDRIS) --install prelude.ipkg
8+
9+clean: .PHONY
10+ $(IDRIS) --clean prelude.ipkg
11+
12+rebuild: clean build
13+
14+linecount: .PHONY
15+ find . -name '*.idr' | xargs wc -l
16+
17+.PHONY: