git.iko.soy/Idris-dev
on 385dcbf help sign in
Idris-dev/test/ffi009/run
5 lines 186 B history raw
1#!/usr/bin/env bash
2${IDRIS:-idris} $@ Bad.idr -o bad --cg-opt "ffi009.c" --cg-opt "-fno-strict-overflow"
3${IDRIS:-idris} $@ Good.idr -o good --cg-opt "ffi009.c"
4./good
5rm -f *.ibc good