File: config.w32

package info (click to toggle)
php-json-ext 1.2.1-3.2%2Betch1
  • links: PTS
  • area: main
  • in suites: etch
  • size: 1,004 kB
  • ctags: 112
  • sloc: sh: 7,418; ansic: 1,018; makefile: 121; awk: 70
file content (10 lines) | stat: -rw-r--r-- 319 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
 
// $Id: config.w32,v 1.2 2006/01/31 08:59:06 omar Exp $
// vim:ft=javascript

ARG_WITH("json", "JavaScript Object Serialization support", "no");

if (PHP_JSON != "no") {
	EXTENSION('json', 'json.c', PHP_JSON_SHARED, "");
	ADD_SOURCES(configure_module_dirname, "JSON_parser.c utf8_decode.c utf8_to_utf16.c", "json");
}