test/test021/run_java · Idris-dev

git.iko.soy/Idris-dev

on ab89bf0 help sign in

9 lines 294 B history raw

1#!/bin/bash

2idris -p effects $@ test021.idr -o test021.java --target Java

3idris -p effects $@ test021a.idr -o test021a.java --target Java

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

5javac test021.java

6java test021

7javac test021a.java

8java test021a

9rm -f test021.java test021a.java *.class