Skip to content
Fetching contributors…
Cannot retrieve contributors at this time
26 lines (17 sloc) 425 Bytes
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.