git.iko.soy/Idris-dev
on ddba413 help sign in
Idris-dev/Makefile
23 lines 338 B history raw
1install: .PHONY
2 cabal install
3 make -C lib check
5pinstall: .PHONY
6 cabal configure --enable-executable-profiling
7 cabal install --enable-executable-profiling
8 make -C lib check
10build: .PHONY
11 cabal build
13configure: .PHONY
14 cabal configure
16test : .PHONY
17 make -C test
19linecount : .PHONY
20 wc -l src/Idris/*.hs src/Core/*.hs
22.PHONY: