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