idris-hackers/idris-mode — pull request #214 by david-christiansen (2014-07-16 17:19:11+00:00)
Title: Beginning of test support

This PR creates a Makefile that builds each .el file in a clean environment, so we can detect dependency problems and import errors. To make this pass, much decrufting was performed.

There is also a file to put ERT tests in, and a Travis config.

Please don't merge this until we can see how Travis handles the pull request.