diff options
author | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-01-27 12:46:11 +0100 |
---|---|---|
committer | Matthias Benkard <code@mail.matthias.benkard.de> | 2008-01-27 12:46:11 +0100 |
commit | d382b23ee73dd993e944bd4fad9d190bc2e6f849 (patch) | |
tree | 9cbdbf4f31d13dc2def8dec81153f74ec4580e99 /config.make.in | |
parent | a93c3679f769423c69fca20fab3bb4ade7207cc1 (diff) |
Do not build our own libffi if we can find one installed on the system.
darcs-hash:98186d9dca2682cb70a25403ee7415dcbd28249c
Diffstat (limited to 'config.make.in')
-rw-r--r-- | config.make.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/config.make.in b/config.make.in new file mode 100644 index 0000000..c5350a3 --- /dev/null +++ b/config.make.in @@ -0,0 +1,5 @@ +LIBS = @LIBS@ +HAVE_ANY_FFI_H = @HAVE_ANY_FFI_H@ +HAVE_LIBFFI = @HAVE_LIBFFI@ +@SET_MAKE@ +CONFIG_MAKE_INCLUDED_P = 1 |