@@ -1,6 +1,6 @@
1#!/usr/bin/env bash
1#!/usr/bin/env bash
2−cc -c -O2 -o array.o array.c `idris --include`
2+${CC:-cc} -c -O2 -o array.o array.c $(${IDRIS:-idris} --include)
3−idris $@ -o load-test load-test.idr --nocolour --warnreach
3+${IDRIS:-idris} $@ -o load-test load-test.idr --nocolour --warnreach
5rm -f load-test *.o *.ibc
5rm -f load-test *.o *.ibc
6find -name \*.ibc -delete
6find -name \*.ibc -delete