edwinb/Idris-dev — pull request #389 by melted (2013-07-12 21:54:33+00:00)
Title: Make LLVM optional but the default

LLVM is great, but can be a rather massive tail for this dog to wag. So let's make it optional.

To install without LLVM "cabal install -f -LLVM".

Tested with and without LLVM on Linux.