edwinb/Idris-dev — pull request #231 by JanBessai (2013-03-13 01:35:37+00:00)
Title: Optional compilation of the Java RTS

A cabal config variable (NoJava) can be used to control if maven is to be invoked to compile the Java RTS.
It is also available in config.mk. You might want to deactivate it by default for users without Java.
Versioning of the generated .jar file is automatically adapted to the idris version string from cabal.