Searched refs:with_system_ffi (Results 1 – 4 of 4) sorted by relevance
2979 case "$with_system_ffi" in2981 with_system_ffi="no"2989 AC_MSG_RESULT($with_system_ffi)2992 if test "$with_system_ffi" != ""2996 with_system_ffi="yes"2999 if test "$with_system_ffi" = "yes" && test -n "$PKG_CONFIG"; then
10394 withval=$with_system_ffi;10400 case "$with_system_ffi" in10402 with_system_ffi="no"10410 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $with_system_ffi" >&510411 $as_echo "$with_system_ffi" >&6; }10415 if test "$with_system_ffi" != ""10420 with_system_ffi="yes"10423 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)