2013-10-02 17:12:35 -04:00
|
|
|
# add json extension, if needed (ie, for PHP >= 5.5)
|
|
|
|
ifneq (,$(realpath $(EXTENSION_DIR)/json.so))
|
2013-10-01 17:58:24 -04:00
|
|
|
PHP_TEST_SHARED_EXTENSIONS+=-d extension=$(EXTENSION_DIR)/json.so
|
2013-10-02 17:12:35 -04:00
|
|
|
endif
|
2010-12-30 14:04:51 +00:00
|
|
|
|
2015-09-26 18:58:12 +02:00
|
|
|
# add pthreads extension, if available
|
|
|
|
ifneq (,$(realpath $(EXTENSION_DIR)/pthreads.so))
|
|
|
|
PHP_TEST_SHARED_EXTENSIONS+=-d extension=$(EXTENSION_DIR)/pthreads.so
|
|
|
|
endif
|
2017-03-12 10:09:59 +01:00
|
|
|
|
|
|
|
# add dom extension, if available
|
|
|
|
ifneq (,$(realpath $(EXTENSION_DIR)/dom.so))
|
|
|
|
PHP_TEST_SHARED_EXTENSIONS+=-d extension=$(EXTENSION_DIR)/dom.so
|
|
|
|
endif
|