git.iko.soy/Idris-dev
on bf4e535 help sign in
Idris-dev/test/ffi006/run
5 lines 171 B history raw
1#!/usr/bin/env bash
2idris $@ ffi006.idr --interface -o ffi006.o
3${CC:=cc} ffi006.c ffi006.o `idris --include` `idris --link` -o ffi006
4./ffi006
5rm -f ffi006 *.ibc *.o *.h