git.iko.soy/Idris-dev
on master help sign in
Makefile added
bcdde4aEdwin Brady
Makefilenew file+18
compare with master
unifiedsplit
@@ -0,0 +1,18 @@
1+install: .PHONY
2+ cabal install
3+ make -C lib check
4+
5+build: .PHONY
6+ cabal build
7+
8+configure: .PHONY
9+ cabal configure
10+
11+test : .PHONY
12+ echo "Yes, probably should write tests."
13+
14+linecount : .PHONY
15+ wc -l src/Idris/*.hs src/Core/*.hs
16+
17+.PHONY:
18+