test/test016/run_java · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

on df5bf81 help sign in

Idris-dev/test/test016/run_java

6 lines 171 B history raw

1#!/bin/bash

2idris $@ test016.idr -o test016.java --target Java

3export CLASSPATH=../../java/idris.jar:$CLASSPATH

4javac test016.java

5java test016

6rm -f test016.java *.class