diff options
author | Dmitry Stogov <dmitry@zend.com> | 2019-01-14 11:47:50 +0300 |
---|---|---|
committer | Dmitry Stogov <dmitry@zend.com> | 2019-01-14 11:47:50 +0300 |
commit | e089d506d5c7716c62cee5232d32ab22d0ddde26 (patch) | |
tree | 97c022d02fffae4c8c08a565582e5827d14e4007 /ext/ffi/config.w32 | |
parent | d0fd2be64234d978e62fb27d6012087514550e71 (diff) | |
download | php-git-e089d506d5c7716c62cee5232d32ab22d0ddde26.tar.gz |
Added FFI extension
Diffstat (limited to 'ext/ffi/config.w32')
-rw-r--r-- | ext/ffi/config.w32 | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ext/ffi/config.w32 b/ext/ffi/config.w32 new file mode 100644 index 0000000000..41398974c0 --- /dev/null +++ b/ext/ffi/config.w32 @@ -0,0 +1,12 @@ +ARG_WITH('ffi', 'ffi support', 'no'); + +if (PHP_FFI != 'no') { + if (CHECK_HEADER_ADD_INCLUDE("ffi.h", "CFLAGS_FFI", PHP_FFI+ ";" + PHP_PHP_BUILD + "\\include") && + CHECK_LIB("libffi.lib", "ffi", PHP_FFI)) { + AC_DEFINE('HAVE_FFI', 1, 'ffi support enabled'); + + EXTENSION('ffi', 'ffi.c ffi_parser.c', null, '/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1'); + } else { + WARNING('ffi not enabled, headers or libraries not found'); + } +} |