author | Walther Neuper <neuper@ist.tugraz.at> |
Thu, 12 Aug 2010 15:03:34 +0200 | |
branch | isac-from-Isabelle2009-2 |
changeset 37913 | 20e3616b2d9c |
parent 13999 | 454a2ad0c381 |
permissions | -rwxr-xr-x |
kleing@13999 | 1 |
#!/usr/bin/perl -w |
kleing@13999 | 2 |
|
kleing@13999 | 3 |
sub doit { |
kleing@13999 | 4 |
my ($file) = @_; |
kleing@13999 | 5 |
|
kleing@13999 | 6 |
open (FILE, $file) || die $!; |
kleing@13999 | 7 |
undef $/; $text = <FILE>; $/ = "\n"; |
kleing@13999 | 8 |
close FILE || die $!; |
kleing@13999 | 9 |
|
kleing@13999 | 10 |
$_ = $text; |
kleing@13999 | 11 |
|
kleing@13999 | 12 |
s/text_raw\{\*([^*]|\*[^}])*\*\}//sg; # actual work done here |
kleing@13999 | 13 |
s/text\{\*([^*]|\*[^}])*\*\}//sg; # actual work done here |
kleing@13999 | 14 |
s/\(\*<\*\)//sg; |
kleing@13999 | 15 |
s/\(\*>\*\)//sg; |
kleing@13999 | 16 |
s/--(\ )*"([^"])*"//sg; |
kleing@13999 | 17 |
s/--(\ )*\{\*([^*]|\*[^}])*\*\}//sg; |
kleing@13999 | 18 |
|
kleing@13999 | 19 |
$result = $_; |
kleing@13999 | 20 |
|
kleing@13999 | 21 |
if ($text ne $result) { |
kleing@13999 | 22 |
print STDERR "fixing $file\n"; |
kleing@13999 | 23 |
# if (! -f "$file~~") { |
kleing@13999 | 24 |
# rename $file, "$file~~" || die $!; |
kleing@13999 | 25 |
# } |
kleing@13999 | 26 |
open (FILE, "> Demo/$file") || die $!; |
kleing@13999 | 27 |
print FILE $result; |
kleing@13999 | 28 |
close FILE || die $!; |
kleing@13999 | 29 |
} |
kleing@13999 | 30 |
} |
kleing@13999 | 31 |
|
kleing@13999 | 32 |
|
kleing@13999 | 33 |
foreach $file (@ARGV) { |
kleing@13999 | 34 |
eval { &doit($file); }; |
kleing@13999 | 35 |
if ($@) { print STDERR "*** doit $file: ", $@, "\n"; } |
kleing@13999 | 36 |
} |