idris-1.3.3: test/ffi005/run.sh

#!/usr/bin/env bash

${IDRIS:-idris} $@ Postulate.idr -o postulate
./postulate
rm -f postulate *.ibc