idris-lang/Idris-dev — pull request #1532 by markuspf (2014-09-19 23:16:15+00:00)
Title: Factor out LLVM backend

This patch again removes the LLVM backend from the idris codebase and moves it to idris-hackers/idris-llvm. It also makes sure that the llvm backend tests are run still from the idris repo (with the current llvm backend version on idris-hackers).

I plan to run separate tests on idris-llvm in the future as well.