edwinb/Idris-dev — pull request #64 by dagit (2012-10-29 19:01:06+00:00)
Title: Configure makefile using config.mk

I refactored the makefile to make it easier for me to build idris on my machine. Specifically:

* I prefer to use cabal-dev, so now I can set CABAL :=cabal-dev
* I have my copy of gmp installed in my home directory in an unusual place, so now I can set GMP_INCLUDE_DIR:=$(HOME)/local-install/include

I don't know if I want these changes, but I thought I'd share them with you just in case. I also added 1 sentence letting people know they should edit `config.mk` to configure the makefile.