mkdist.php - OpenGrok cross reference for /PHP-8.1/win32/build/mkdist.php

Lines Matching refs:dist_dir
17 $dist_dir = $build_dir . "/php-" . $php_version;  variable
21 @mkdir($dist_dir);
22 @mkdir("$dist_dir/ext");
23 @mkdir("$dist_dir/dev");
24 @mkdir("$dist_dir/extras");
133     global $is_debug, $dist_dir;
148                 copy("$source_dir/$itemdb", "$dist_dir/dev/$itemdb");
227 copy("$build_dir/php.exe", "$dist_dir/php.exe");
229 copy_file_list($build_dir, "$dist_dir", [$phpdll]);
233 copy("$build_dir/$phplib", "$dist_dir/dev/$phplib");
237     copy("$build_dir/$phppdb", "$dist_dir/dev/$phppdb");
240 copy_file_list($build_dir, "$dist_dir", $sapi_targets);
243 copy_file_list($build_dir, "$dist_dir/ext", $ext_targets);
261     copy_text_file($src, $dist_dir . '/' . $dest);
270     copy($src, $dist_dir . '/' . $dest);
275 $fp = fopen("$dist_dir/snapshot.txt", "w");
325     copy($dll, "$dist_dir/" . basename($dll));
346     $dest  = "$dist_dir/$dll[0]";
363     $sasl_dest_dir = "$dist_dir/sasl2";
460 function make_phar_dot_phar($dist_dir)  argument
469     $phar = new Phar($dist_dir . '/pharcommand.phar', 0, 'pharcommand');
487 …file_put_contents($dist_dir . '/phar.phar.bat', "\"%~dp0php.exe\" \"%~dp0pharcommand.phar\" %*\r\n…
511     mkdir("$dist_dir/PEAR");
512     mkdir("$dist_dir/PEAR/go-pear-bundle");
516     copy("https://pear.php.net/go-pear.phar", "$dist_dir/PEAR/go-pear.php");
526         $destfilename = "$dist_dir/PEAR/go-pear-bundle/$filename";
539     extract_file_from_tarball('PEAR', 'PEAR.php', "$dist_dir/PEAR/go-pear-bundle");
540     extract_file_from_tarball('Archive_Tar', 'Archive/Tar.php', "$dist_dir/PEAR/go-pear-bundle");
541 …extract_file_from_tarball('Console_Getopt', 'Console/Getopt.php', "$dist_dir/PEAR/go-pear-bundle");
557                     copy_dir($item, "$dist_dir/$bi");
561                 copy_dir($item, "$dist_dir/extras/$bi");
566                 copy($item, "$dist_dir/$bi");
569                 copy($item, "$dist_dir/extras/$bi");
580             copy_dir($item, "$dist_dir/$bi");
581             copy_dir($item, "$dist_dir/ext/$bi");
588 make_phar_dot_phar($dist_dir);