Fix config.w32

dstogov · Apr 13, 2018 · 568190e · 568190e
1 parent cdce2df
commit 568190e
Showing 1 changed file with 8 additions and 3 deletions.
diff --git a/config.w32 b/config.w32
@@ -1,7 +1,12 @@
 ARG_ENABLE('ffi', 'ffi support', 'no');
 
 if (PHP_FFI != 'no') {
-	AC_DEFINE('HAVE_FFI', 1, 'ffi support enabled');
+	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', null, '/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1');
-}
+		EXTENSION('ffi', 'ffi.c ffi_parser.c', null, '/DZEND_ENABLE_STATIC_TSRMLS_CACHE=1');
+	} else {
+		WARNING('ffi not enabled, headers or libraries not found');
+	}
+}