<?php
require "Getopt.php";
require "scheme.php";
$result = Console_Getopt::getopt($argv, 'p');
if (!$result || count($result[1]) < 3) {
die("usage: php merge-defs.php [-p] generated-defs old-defs\n");
}
$merge_params = false;
list($opts, $argv) = $result;
foreach ($opts as $opt) {
if ($opt[0] == 'p') {
$merge_params = true;
}
}
class Merge_Parser extends Defs_Parser
{
function handle_include()
{
/* pass */
}
}
$new_defs = new Merge_Parser($argv[1]);
$old_defs = new Merge_Parser($argv[2]);
$new_defs->start_parsing();
$old_defs->start_parsing();
$new_defs->merge($old_defs, $merge_params);
$new_defs->write_defs();
<?php
require "Getopt.php";
require "scheme.php";
$result = Console_Getopt::getopt($argv, '');
if (!$result || count($result[1]) < 3) {
die("usage: php merge-defs.php generated-defs old-defs\n");
}
list($opts, $argv) = $result;
class Merge_Parser extends Defs_Parser
{
function handle_include()
{
/* pass */
}
}
$new_defs = new Merge_Parser($argv[1]);
$old_defs = new Merge_Parser($argv[2]);
$new_defs->start_parsing();
$old_defs->start_parsing();
$new_defs->write_missing_defs($old_defs);
