git.m6w6.name Git - m6w6/ext-raphf/blob - config.w32

   1 ARG_ENABLE("raphf", "for raphf support", "no");
   2
   3 if (PHP_RAPHF == "yes") {
   4         var PHP_RAPHF_HEADERS=glob(configure_module_dirname + "/src/*.h");
   5         var PHP_RAPHF_SRC_ARRAY=glob(configure_module_dirname + "/src/*.c");
   6         var PHP_RAPHF_SOURCES="";
   7         for (var i=0; i<PHP_RAPHF_SRC_ARRAY.length; ++i) {
   8                 var basename = FSO.GetFileName(PHP_RAPHF_SRC_ARRAY[i]);
   9                 PHP_RAPHF_SOURCES = PHP_RAPHF_SOURCES + " " + basename;
  10         }
  11
  12         //EXTENSION("raphf");
  13         ADD_SOURCES(configure_module_dirname + "/src", PHP_RAPHF_SOURCES, "raphf");
  14         EXTENSION("raphf", "src/php_raphf_api.c");
  15         PHP_INSTALL_HEADERS(configure_module_dirname, "php_raphf.h");
  16         for (var i=0; i<PHP_RAPHF_HEADERS.length; ++i) {
  17                 var basename = FSO.GetFileName(PHP_RAPHF_HEADERS[i]);
  18                 copy_and_subst("src/" + basename, basename, []);
  19                 PHP_INSTALL_HEADERS(configure_module_dirname, basename);
  20         }
  21         ADD_FLAG("CFLAGS_RAPHF", "/I" + configure_module_dirname + " ");
  22
  23         AC_DEFINE("HAVE_RAPHF", 1);
  24 }