Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Fetching contributors…

Cannot retrieve contributors at this time

26 lines (17 sloc) 0.425 kb
install: .PHONY
cabal install
pinstall: .PHONY
cabal configure --enable-executable-profiling
cabal install --enable-executable-profiling
build: .PHONY
cabal build
configure: .PHONY
cabal configure
test : .PHONY
make -C test
relib: .PHONY
make -C lib IDRIS=../dist/build/idris/idris clean
make -C lib IDRIS=../dist/build/idris/idris
linecount : .PHONY
wc -l src/Idris/*.hs src/Core/*.hs src/IRTS/*.hs
.PHONY:
Jump to Line
Something went wrong with that request. Please try again.