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