mirror of
https://github.com/phpv8/v8js.git
synced 2024-12-22 07:01:52 +00:00
15 lines
488 B
Makefile
15 lines
488 B
Makefile
# add json extension, if needed (ie, for PHP >= 5.5)
|
|
ifneq (,$(realpath $(EXTENSION_DIR)/json.so))
|
|
PHP_TEST_SHARED_EXTENSIONS+=-d extension=$(EXTENSION_DIR)/json.so
|
|
endif
|
|
|
|
# add pthreads extension, if available
|
|
ifneq (,$(realpath $(EXTENSION_DIR)/pthreads.so))
|
|
PHP_TEST_SHARED_EXTENSIONS+=-d extension=$(EXTENSION_DIR)/pthreads.so
|
|
endif
|
|
|
|
# add dom extension, if available
|
|
ifneq (,$(realpath $(EXTENSION_DIR)/dom.so))
|
|
PHP_TEST_SHARED_EXTENSIONS+=-d extension=$(EXTENSION_DIR)/dom.so
|
|
endif
|