idris-lang/Idris-dev — pull request #1494 by jfdm (2014-08-28 09:43:42+00:00)
Title: Modified Makefile 'install' target.

Default action for `$ make install` is to:

1. purge directory of `ibc` files.
2. build and install `idris`.