idris-0.12.3: test/pkg007/run

#!/usr/bin/env bash
cd toy
${IDRIS:-idris} $@ --build toy.ipkg --ibcsubdir ../ibcout
cd ../ibcout
${IDRIS:-idris} $@ --quiet < ../input
cd ..
rm -rf ibcout