Idris-dev/Makefile

.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib test

include config.mk
-include custom.mk

install:
	$(CABAL) install $(CABALFLAGS)

pinstall: CABALFLAGS += --enable-executable-profiling
pinstall: dist/setup-config
	$(CABAL) install $(CABALFLAGS)

build: dist/setup-config
	$(CABAL) build $(CABALFLAGS)

test:
	$(MAKE) -C test IDRIS=../dist/build/idris

test_java:
	$(MAKE) -C test IDRIS=../dist/build/idris test_java

test_llvm:
	$(MAKE) -C test IDRIS=../dist/build/idris test_llvm

lib_clean:
	$(MAKE) -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean
	$(MAKE) -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean
	$(MAKE) -C javascript IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean

relib: lib_clean
	$(CABAL) install $(CABALFLAGS)

linecount:
	wc -l src/Idris/*.hs src/Core/*.hs src/IRTS/*.hs src/Pkg/*.hs

#Note: this doesn't yet link to Hackage properly
doc: dist/setup-config
	$(CABAL) haddock --executables --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"


dist/setup-config:
	$(CABAL) configure $(CABALFLAGS)
Name resolution should respect %hide Fixes #573 2013-11-03 15:06:55 +04:00			`.PHONY: build configure doc install linecount nodefault pinstall lib_clean relib test`
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00
Refactor the makefile so that all the pertinent variables are in config.mk 2012-10-29 22:56:53 +04:00			`include config.mk`
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00			`-include custom.mk`
Refactor the makefile so that all the pertinent variables are in config.mk 2012-10-29 22:56:53 +04:00
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00			`install:`
Added compile flag support to deactivate creation of the java backend 2013-03-13 05:26:06 +04:00			`$(CABAL) install $(CABALFLAGS)`
Makefile added 2011-10-14 20:59:53 +04:00
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00			`pinstall: CABALFLAGS += --enable-executable-profiling`
			`pinstall: dist/setup-config`
			`$(CABAL) install $(CABALFLAGS)`
Sugar for dependent pairs 2011-10-25 15:46:47 +04:00
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00			`build: dist/setup-config`
Added compile flag support to deactivate creation of the java backend 2013-03-13 05:26:06 +04:00			`$(CABAL) build $(CABALFLAGS)`
Makefile added 2011-10-14 20:59:53 +04:00
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00			`test:`
Allow tests to be parallelized Running `make -j16 test` now runs tests in batches of 16. This takes 1m (real) (6m user), whereas `make -j1 test` takes about 5 minutes (both real and user). There is a bit of funniness with cancelling `make -j16 test`; I get a bunch of directory/file not found errors. I'm not sure why. I've changed the test printing format a bit; make, unlike, say, the ninja buildsystem, interleaves outputs rather than buffering them. I chose to make sure that the perl script printed entire lines at one, resulting in output like ``` Running test004... Ran test004...success Running test005... Ran test005...success Running test006... Ran test006...success Running test007... ``` rather than ``` Running test004...success Running test005...success Running test006...success Running test007... ``` with the `success` appearing some time after the `Running testNNN...` message. 2013-07-31 07:44:15 +04:00			`$(MAKE) -C test IDRIS=../dist/build/idris`
Makefile added 2011-10-14 20:59:53 +04:00
Add java tests to travis.yml 2013-07-10 00:52:57 +04:00			`test_java:`
Allow tests to be parallelized Running `make -j16 test` now runs tests in batches of 16. This takes 1m (real) (6m user), whereas `make -j1 test` takes about 5 minutes (both real and user). There is a bit of funniness with cancelling `make -j16 test`; I get a bunch of directory/file not found errors. I'm not sure why. I've changed the test printing format a bit; make, unlike, say, the ninja buildsystem, interleaves outputs rather than buffering them. I chose to make sure that the perl script printed entire lines at one, resulting in output like ``` Running test004... Ran test004...success Running test005... Ran test005...success Running test006... Ran test006...success Running test007... ``` rather than ``` Running test004...success Running test005...success Running test006...success Running test007... ``` with the `success` appearing some time after the `Running testNNN...` message. 2013-07-31 07:44:15 +04:00			`$(MAKE) -C test IDRIS=../dist/build/idris test_java`
Add java tests to travis.yml 2013-07-10 00:52:57 +04:00
Test LLVM codegen on travis to reduce future breakage 2013-10-09 02:20:06 +04:00			`test_llvm:`
			`$(MAKE) -C test IDRIS=../dist/build/idris test_llvm`

Name resolution should respect %hide Fixes #573 2013-11-03 15:06:55 +04:00			`lib_clean:`
Allow tests to be parallelized Running `make -j16 test` now runs tests in batches of 16. This takes 1m (real) (6m user), whereas `make -j1 test` takes about 5 minutes (both real and user). There is a bit of funniness with cancelling `make -j16 test`; I get a bunch of directory/file not found errors. I'm not sure why. I've changed the test printing format a bit; make, unlike, say, the ninja buildsystem, interleaves outputs rather than buffering them. I chose to make sure that the perl script printed entire lines at one, resulting in output like ``` Running test004... Ran test004...success Running test005... Ran test005...success Running test006... Ran test006...success Running test007... ``` rather than ``` Running test004...success Running test005...success Running test006...success Running test007... ``` with the `success` appearing some time after the `Running testNNN...` message. 2013-07-31 07:44:15 +04:00			`$(MAKE) -C lib IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts clean`
			`$(MAKE) -C effects IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean`
			`$(MAKE) -C javascript IDRIS=../dist/build/idris/idris RTS=../dist/build/rts/libidris_rts DIST=../dist/build clean`
Name resolution should respect %hide Fixes #573 2013-11-03 15:06:55 +04:00
			`relib: lib_clean`
Added compile flag support to deactivate creation of the java backend 2013-03-13 05:26:06 +04:00			`$(CABAL) install $(CABALFLAGS)`
Better error reporting for unresolved type classes 2012-01-18 18:34:47 +04:00
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00			`linecount:`
Added "codata" Constructors of coinductive types evaluate arguments lazily. Corecursive functions do not reduce at compile time. 2012-10-23 01:33:46 +04:00			`wc -l src/Idris/.hs src/Core/.hs src/IRTS/.hs src/Pkg/.hs`
Makefile added 2011-10-14 20:59:53 +04:00
Build Haddock and Hoogle files Haddock will generate links to Hackage where appropriate. 2013-02-26 14:17:12 +04:00			`#Note: this doesn't yet link to Hackage properly`
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00			`doc: dist/setup-config`
Build Haddock and Hoogle files Haddock will generate links to Hackage where appropriate. 2013-02-26 14:17:12 +04:00			`$(CABAL) haddock --executables --hyperlink-source --html --hoogle --html-location="http://hackage.haskell.org/packages/archive/\$$pkg/latest/doc/html" --haddock-options="--title Idris"`

Makefile added 2011-10-14 20:59:53 +04:00
Improved Makefile dependencies. 2013-03-21 20:14:37 +04:00			`dist/setup-config:`
			`$(CABAL) configure $(CABALFLAGS)`