Forgot the Makefile in prelude!
Fixes #655
commita7f86fe53833386f5682cecef37596cefa548d7c
authorEdwin Brady <ecb10@st-andrews.ac.uk>
dateThu 21 Nov 2013, 14:14 (13 years ago)
parentecea329
libs/prelude/Makefilenew file+17
@@ -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: