Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with
or
.
Download ZIP
Browse files

Makefile added

  • Loading branch information...
commit bcdde4a0cb6fa8ec5f5fe08f0d1e37f92951a819 1 parent f208c49
Edwin Brady authored
Showing with 18 additions and 0 deletions.
  1. +18 −0 Makefile
View
18 Makefile
@@ -0,0 +1,18 @@
+install: .PHONY
+ cabal install
+ make -C lib check
+
+build: .PHONY
+ cabal build
+
+configure: .PHONY
+ cabal configure
+
+test : .PHONY
+ echo "Yes, probably should write tests."
+
+linecount : .PHONY
+ wc -l src/Idris/*.hs src/Core/*.hs
+
+.PHONY:
+
Please sign in to comment.
Something went wrong with that request. Please try again.