git.iko.soy/Idris-dev
on master help sign in
Idris-dev/test/basic024/run.sh
8 lines 149 B history raw
1#!/usr/bin/env bash
3${IDRIS:-idris} $@ --quiet --port none < input.in
4${IDRIS:-idris} $@ basic024.idr -o basic024
6./basic024
8rm -f basic024 *.ibc