summaryrefslogtreecommitdiffstats
path: root/configure
diff options
context:
space:
mode:
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure20
1 files changed, 18 insertions, 2 deletions
diff --git a/configure b/configure
index 7138eb1..3998a32 100755
--- a/configure
+++ b/configure
@@ -9851,11 +9851,27 @@ $as_echo_n "checking for --with-system-ffi... " >&6; }
# Check whether --with-system_ffi was given.
if test "${with_system_ffi+set}" = set; then :
withval=$with_system_ffi;
-else
- with_system_ffi="no"
fi
+case "$with_system_ffi" in
+ "")
+ case $ac_sys_system in
+ Darwin)
+ with_system_ffi="no"
+ ;;
+ *)
+ with_system_ffi="yes"
+ ;;
+ esac
+ ;;
+ yes|no)
+ ;;
+ *)
+ as_fn_error $? "--with-system-ffi accepts no arguments" "$LINENO" 5
+ ;;
+esac
+
if test "$with_system_ffi" = "yes" && test -n "$PKG_CONFIG"; then
LIBFFI_INCLUDEDIR="`"$PKG_CONFIG" libffi --cflags-only-I 2>/dev/null | sed -e 's/^-I//;s/ *$//'`"
else