How to output the Java code?

[philip andrew]

How do I compile a Java file?

I compiled the JAR file as you said, I copied it to /Users/orsa/.cabal/share/idris-0.9.7/ path. Then I copied the entire java directory (from this project) to that path. Then I changed the file name from executable_pom_template.xml to executable_pom.xml.

I get the following:

$ sudo idris --target Java test.idr -o test.java
idris: FAILURE: mvn compile

$

Thanks, Philip

[Chetan Taralekar]

It looks like you need Maven installed: https://maven.apache.org/