Skip to content

Instantly share code, notes, and snippets.

@bvssvni

bvssvni/gist:10843471

Last active August 29, 2015 13:59
Show Gist options
  • Save bvssvni/10843471 to your computer and use it in GitHub Desktop.
Save bvssvni/10843471 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
%dynamic "./../target/x86_64-apple-darwin/lib/libidrisfs-ba8d5852-0.0.dylib"
getSizeInt : IO Int
getSizeInt = mkForeign (FFun "sizeof_int" [] FInt)
WARNING: Cannot load './../target/x86_64-apple-darwin/lib/libidrisfs-ba8d5852-0.0.dylib' at compile time because Idris was compiled without libffi support.
@bvssvni
Copy link
Author

bvssvni commented Apr 16, 2014 

$ cabal install idris -f ffi --reinstall
Resolving dependencies...
In order, the following will be installed:
libffi-0.1 (new package)
idris-0.9.12 +ffi (reinstall) changes: libffi-0.1 added
Warning: Note that reinstalls are always dangerous. Continuing anyway...
Downloading libffi-0.1...
Configuring libffi-0.1...

/var/folders/_t/g72k9vzd30b5svvyd1nxpwp40000gn/T/85469.c:1:12:
     warning: control reaches end of non-void function [-Wreturn-type]
int foo() {}
           ^
1 warning generated.
cabal: The program pkg-config version >=0.9.0 is required but it could not be
found.
Failed to install libffi-0.1
cabal: Error: some packages failed to install:
idris-0.9.12 depends on libffi-0.1 which failed to install.
libffi-0.1 failed during the configure step. The exception was:
ExitFailure 1

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment