X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ef3acbef4d4754ec3af577d97d863a77a442b695..874e0bce624e4545cb4c49b707796a6704c24ad8:/tools/simgrid_update_xml.pl?ds=sidebyside diff --git a/tools/simgrid_update_xml.pl b/tools/simgrid_update_xml.pl index d0d7277bd3..5b7b5a1df2 100755 --- a/tools/simgrid_update_xml.pl +++ b/tools/simgrid_update_xml.pl @@ -12,7 +12,7 @@ use strict; my $fromversion=-1; -my $toversion=2; +my $toversion=3; my($output_string); @@ -21,53 +21,76 @@ open INPUT, "$ARGV[0]" or die "Cannot open input file $ARGV[0]: $!\n"; $output_string .= "\n"; $output_string .= "\n"; -$output_string .= ""; +$output_string .= "\n"; +$output_string .= " \n"; my $line; -while (defined($line = )) { +while (defined($line = )) +{ chomp $line; # eat the header, whatever form it has next if ($line =~ s/<\?xml[^>]*>// && ! $line =~ /\S/); # just in case several tags are on the same line next if ($line =~ s/]*>// && ! $line =~ /\S/); - next if ($line =~ s/// && ! $line =~ /\S/); - - if ($line =~ s///) { - $fromversion = 0; - } else if ($line =~ s///) { - $fromversion = $1; - if ($fromversion == $toversion) { - warn "Input platform file version is already $fromversion. This should be a no-op.\n"; - } - if ($fromversion > $toversion) { - die "Input platform file version is more recent than this script (file version: $fromversion; script version: $toversion)\n"; - } + if ($line =~ s///) + { + $fromversion = 0; + print "version 0\n"; + next if !$line =~ /\S/; + } + elsif ($line =~ s///) + { + $fromversion = $1; + print "version $fromversion\n"; + if ($fromversion == $toversion) + { + die "Input platform file version is already $fromversion. This should be a no-op.\n"; + } + if ($fromversion > $toversion) + { + die "Input platform file version is more recent than this script (file version: $fromversion; script version: $toversion)\n"; + } + next if !$line =~ /\S/; } - if ($fromversion == 0) { - while ($line =~ m|^(.*?)(.*)$/) + { + $output_string .= " <\/AS>\n<\/platform>"; + } + else + { + $output_string .= "$line\n"; + } } close INPUT;