idris-1.2.0: test/ffi011/run

#!/usr/bin/env bash
${IDRIS:-idris} $@ ffi011.idr --interface -o lib.js
node ./ffi011
rm -f *.ibc lib.js