edwinb/Idris-dev — pull request #367 by Ralith (2013-06-29 00:44:58+00:00)
Title: Build and test idris from the source distribution, not the git repository

This ensures that missing data-files and extra-source-files entries are caught.