edwinb/Idris-dev — pull request #493 by Melvar (2013-09-22 14:39:26+00:00)
Title: Fix building without LLVM

This changes the LLVM stubs to conform to the interface of actual llvm-general, which recently changed. This thereby fixes `cabal install -f -LLVM`, which was erroring as reported by @nicolabotta in the comments of issue #460.