Browse Source

The json extension is not needed for PHP 5.4.

C. Scott Ananian 11 years ago
parent
commit
8e0e573d3f
1 changed files with 3 additions and 0 deletions
  1. 3 0
      Makefile.frag

+ 3 - 0
Makefile.frag

@@ -1,4 +1,7 @@
+# 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
 
 testv8: all
 	$(PHP_EXECUTABLE) -n -d extension_dir=./modules -d extension=v8js.so test.php