edwinb/Idris2-boot
1
1
Fork 0
mirror of https://github.com/edwinb/Idris2-boot.git synced 2024-11-24 12:54:28 +03:00
Code Issues Projects Releases Wiki Activity

use an explicit extension for libcb references in %foreign pragmas

Browse Source
This commit is contained in:
Ilya Rezvov 2020-01-09 11:55:33 -08:00
parent 56d24e34d4
commit 32b1c9b34f
2 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tests/chez/chez010/CB.idr
View File

@ -1,5 +1,5 @@
libcb : String -> String libcb : String -> String
libcb f = "C:" ++ f ++", libcb" libcb f = "C:" ++ f ++", libcb.so"
%foreign libcb "add" %foreign libcb "add"
add : Int -> Int -> Int add : Int -> Int -> Int

1
tests/chez/chez010/run
View File

@ -1,4 +1,3 @@
cc --shared cblib.c -fPIC -o libcb.so cc --shared cblib.c -fPIC -o libcb.so
cc --shared cblib.c -fPIC -o libcb.dylib
$1 --no-banner CB.idr < input $1 --no-banner CB.idr < input
rm -rf build libcb.* rm -rf build libcb.*