idris-0.10.3: test/ffi008/run
#!/usr/bin/env bash
${IDRIS:-idris} $@ ffi008.idr -o ffi008 -p contrib --cg-opt "ffi008.c"
./ffi008
rm -f ffi008 *.ibc
#!/usr/bin/env bash
${IDRIS:-idris} $@ ffi008.idr -o ffi008 -p contrib --cg-opt "ffi008.c"
./ffi008
rm -f ffi008 *.ibc