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