idris-lang/Idris-dev — pull request #510 by LeifW (2013-10-02 07:59:40+00:00)
Title: Make --install respect TARGET for .ibc AND objects

Should fix #509