Quelle  specmiss   Sprache: Coq

#!/usr/bin/perl

# Get all the postconf parameter names from the postconf.proto file.

die "Usage: $0 protofile [filename...]\n" 
        unless $protofile = shift(@ARGV);

# Read the whole file even if we want to print only one parameter.

open(POSTCONF, $protofile) || die " cannot open $protofile: $!\n";

while(<POSTCONF>) {
   if (/^%(PARAM)\s+(\S+)/) {
 $found{$2} = 1;
   }
}

while (<>) {
    if (/^%(PARAM)\s+(\S+)/) {
        delete $found{$2};
    }
}

for $name (sort keys %found) {
    print $name,"\n";
}