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

git.iko.soy/Idris-dev

on dee61df help sign in

Idris-dev/test/reg005/run_java

6 lines 166 B history raw

1#!/bin/bash

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

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

4javac reg005.java

5java reg005

6rm -f reg005.java *.class