git.iko.soy/Idris-dev
on dee61df help sign in
Idris-dev/test/test018/run_java
7 lines 238 B history raw
1#!/bin/bash
2idris $@ test018.idr -o test018.java --target Java
3idris $@ test018a.idr -o test018a.java --target Java
4export CLASSPATH=../../java/idris.jar:$CLASSPATH
5javac test018.java
6java test018
7rm -f test018.java test018a.java *.class