libffi header not found under (some) linux distros

[Sumant Oemrawsingh]

When using FSBV, e.g. for GSLL, the header of libffi is not found on at least some linux distros. The reason for this is that the header is placed in a non-standard location. Pkg-config gives the correct flags to find the header and the library (if they are in a non-standard location).

# ffi.h is located in /usr/lib64/libffi-3.0.10/include which is a non-standard location
$ pkg-config libffi --cflags
-I/usr/lib64/libffi-3.0.10/include

# libffi.so.5 is located in /usr/lib64/ which is a standard location
$ pkg-config libffi --libs
-lffi

Perhaps adding support for pkg-config for linux and other os'es that support pkg-config is in general a good thing to do.

CFFI libffi branch, commit c5aea35f9c2a9b763499d6d9e4ea12d29132db08
SBCL 1.0.55
Gentoo amd64

[Luís Oliveira (luismbo)]

Should be fixed now in the master branch. We're using pkg-config now.