edwinb/Idris-dev — pull request #498 by gabemc (2013-09-25 08:12:17+00:00)
Title: Refactored the build inside Setup.hs and the various Makefiles.

* Refactored the Setup.hs script into a much simpler layout.
* Simplified the idris.cabal file, alphabetizing the modules,
build dependencies, simplifying the indentation, standardizing the
flags, and normalizing the formatting of lists.
* Fixed a bug in the generation of the executable_pom.xml file for
the Java backend.