git.iko.soy/Idris-dev
on 8fe28aa help sign in
Idris-dev/test/primitives006/run
6 lines 209 B history raw
1#!/usr/bin/env bash
2${CC:-cc} -c -O2 -o array.o array.c $(${IDRIS:-idris} --include)
3${IDRIS:-idris} $@ -o load-test load-test.idr --nocolour --warnreach
4./load-test
5rm -f load-test *.o *.ibc
6rm -f Data/*.ibc