idris-lang/Idris-dev — pull request #523 by Ralith (2013-10-08 22:06:16+00:00)
Title: Fix installation of LLVM codegen's RTS to incorrect path

Resolves breakage introduced by c7cf1f0f