blob: ebdd9619f504a1a8d2e73c51b3eb591ea1304844 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
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"
|
