git.iko.soy/Idris-dev
on d9516ef help sign in
Idris-dev/Makefile
25 lines 379 B history raw
1install: .PHONY
2 cabal install
4pinstall: .PHONY
5 cabal configure --enable-executable-profiling
6 cabal install --enable-executable-profiling
8build: .PHONY
9 cabal build
11configure: .PHONY
12 cabal configure
14test : .PHONY
15 make -C test
17relib: .PHONY
18 make -C lib clean
19 make -C lib IDRIS=../dist/build/idris/idris
21linecount : .PHONY
22 wc -l src/Idris/*.hs src/Core/*.hs
24.PHONY: