Searched refs:with_system_ffi (Results 1 – 4 of 4) sorted by relevance
10544 withval=$with_system_ffi;10550 case "$with_system_ffi" in10552 with_system_ffi="no"10560 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $with_system_ffi" >&510561 $as_echo "$with_system_ffi" >&6; }10565 if test "$with_system_ffi" != ""10570 with_system_ffi="yes"10573 if test "$with_system_ffi" = "yes" && test -n "$PKG_CONFIG"; then
3080 case "$with_system_ffi" in3082 with_system_ffi="no"3090 AC_MSG_RESULT($with_system_ffi)3093 if test "$with_system_ffi" != ""3097 with_system_ffi="yes"3100 if test "$with_system_ffi" = "yes" && test -n "$PKG_CONFIG"; then
9389 withval=$with_system_ffi;9391 with_system_ffi="no"9395 if test "$with_system_ffi" = "yes" && test -n "$PKG_CONFIG"; then9402 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $with_system_ffi" >&59403 $as_echo "$with_system_ffi" >&6; }
2497 [with_system_ffi="no"])2499 if test "$with_system_ffi" = "yes" && test -n "$PKG_CONFIG"; then2506 AC_MSG_RESULT($with_system_ffi)