mirror of
https://github.com/ilyakooo0/Idris-dev.git
synced 2024-09-21 14:09:30 +03:00
Merge pull request #2097 from melted/fix_ffi006
Don't hardcode 'cc' as the compiler
This commit is contained in:
commit
03c2672d76
@ -1,5 +1,5 @@
|
||||
#!/usr/bin/env bash
|
||||
idris $@ ffi006.idr --interface -o ffi006.o
|
||||
cc ffi006.c ffi006.o `idris --include` `idris --link` -o ffi006
|
||||
${CC:=cc} ffi006.c ffi006.o `idris --include` `idris --link` -o ffi006
|
||||
./ffi006
|
||||
rm -f ffi006 *.ibc *.o *.h
|
||||
|
Loading…
Reference in New Issue
Block a user