From a18f81914f9614fc8ecb9b709c15b90b9b6f6714 Mon Sep 17 00:00:00 2001
From: Remi Collet <remi@remirepo.net>
Date: Thu, 23 May 2019 15:37:00 +0200
Subject: add patch for PHP 7.4 from
 https://github.com/datastax/php-driver/pull/132

---
 132.patch | 28 ++++++++++++++++++++++++++++
 1 file changed, 28 insertions(+)
 create mode 100644 132.patch

(limited to '132.patch')

diff --git a/132.patch b/132.patch
new file mode 100644
index 0000000..ebdd961
--- /dev/null
+++ b/132.patch
@@ -0,0 +1,28 @@
+From 735c5794a003124f5924753472b190a2cb332824 Mon Sep 17 00:00:00 2001
+From: Remi Collet <remi@remirepo.net>
+Date: Thu, 23 May 2019 15:29:45 +0200
+Subject: [PATCH] SPL is always there
+
+---
+ ext/php_driver.h | 8 ++------
+ 1 file changed, 2 insertions(+), 6 deletions(-)
+
+diff --git a/ext/php_driver.h b/ext/php_driver.h
+index 10680d22..bc42b6fc 100644
+--- a/ext/php_driver.h
++++ b/ext/php_driver.h
+@@ -46,12 +46,8 @@ typedef int pid_t;
+ #  error PHP 5.6.0 or later is required in order to build the driver
+ #endif
+ 
+-#if HAVE_SPL
+-#  include <ext/spl/spl_iterators.h>
+-#  include <ext/spl/spl_exceptions.h>
+-#else
+-#  error SPL must be enabled in order to build the driver
+-#endif
++#include <ext/spl/spl_iterators.h>
++#include <ext/spl/spl_exceptions.h>
+ 
+ #include "version.h"
+ 
-- 
cgit