File: config.w32

package info (click to toggle)
php-raphf 2.0.1%2B1.1.2-14
  • links: PTS, VCS
  • area: main
  • in suites: bookworm
  • size: 360 kB
  • sloc: ansic: 1,350; xml: 131; php: 31; makefile: 1
file content (15 lines) | stat: -rw-r--r-- 498 bytes parent folder | download | duplicates (6) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
ARG_ENABLE("raphf", "for raphf support", "no");

if (PHP_RAPHF == "yes") {
	var PHP_RAPHF_HEADERS=glob("src/*.h"), PHP_RAPHF_SOURCES=glob("src/*.c");

	EXTENSION("raphf", PHP_RAPHF_SOURCES);
	PHP_INSTALL_HEADERS("ext/raphf", "php_propro.h");
	for (var i=0; i<PHP_RAPHF_HEADERS.length; ++i) {
		var basename = FSO.GetFileName(PHP_RAPHF_HEADERS[i]);
		copy_and_subst(PHP_RAPHF_HEADERS[i], basename, []);
		PHP_INSTALL_HEADERS("ext/raphf", basename);
	}

	AC_DEFINE("HAVE_RAPHF", 1);
}