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

git.iko.soy/Idris-dev

on df5bf81 help sign in

Idris-dev/test/test010/run_java

5 lines 196 B history raw

1#!/bin/bash

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

3idris $@ test010a.idr -o test010a.java --target Java

4idris $@ test010b.idr -o test010b.java --target Java

5rm -f test010.java *.class