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                 copy_and_subst("src/" + basename, basename, []);
  10                 PHP_RAPHF_SOURCES = PHP_RAPHF_SOURCES + " " + basename;
  11         }
  12
  13         EXTENSION("raphf", PHP_RAPHF_SOURCES);
  14         PHP_INSTALL_HEADERS(configure_module_dirname, "php_raphf.h");
  15         for (var i=0; i<PHP_RAPHF_HEADERS.length; ++i) {
  16                 var basename = FSO.GetFileName(PHP_RAPHF_HEADERS[i]);
  17                 copy_and_subst("src/" + basename, basename, []);
  18                 PHP_INSTALL_HEADERS(configure_module_dirname, basename);
  19         }
  20
  21         AC_DEFINE("HAVE_RAPHF", 1);
  22 }