File: config.w32

package info (click to toggle)
php5 5.2.0-8%2Betch1
  • links: PTS
  • area: main
  • in suites: etch-m68k
  • size: 58,836 kB
  • ctags: 45,575
  • sloc: ansic: 535,107; sh: 17,819; php: 11,336; cpp: 4,289; xml: 3,861; yacc: 2,446; lex: 2,174; makefile: 1,150; tcl: 1,128; awk: 693; perl: 71; sql: 22; pascal: 15
file content (12 lines) | stat: -rw-r--r-- 420 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
// $Id: config.w32,v 1.7 2005/02/08 20:42:47 helly Exp $
// vim:ft=javascript

ARG_ENABLE("spl", "SPL (Standard PHP Library) support", "yes");

if (PHP_SPL != "no") {
	if (PHP_SPL_SHARED) {
		ERROR("SPL cannot be compiled as a shared ext");
	}
	EXTENSION("spl", "php_spl.c spl_functions.c spl_engine.c spl_iterators.c spl_array.c spl_directory.c spl_sxe.c spl_exceptions.c spl_observer.c");
	AC_DEFINE('HAVE_SPL', 1);
}