5 # Skip the line " * Generated 2018/10/15 12:32:06." (Reproducible Builds)
6 next if (m#^ \* Generated [0-9/]* [0-9:]*#);
8 # Informative error message for files using a very old DTD
9 s#"Bad declaration %s."#"Bad declaration %s.\\nIf you are using an XML v3 file (check the version attribute in <platform>), please update it with tools/simgrid_update_xml.pl"#;
11 # Accept the alternative DTD location
12 if (/DOCTYPE.*simgrid.org.simgrid.dtd/) {
13 print ' "<!DOCTYPE"{S}"platform"{S}SYSTEM{S}("\'http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd\'"|"\\"http://simgrid.gforge.inria.fr/simgrid/simgrid.dtd\\""){s}">" SET(ROOT_simgrid_parse_platform);'."\n";
16 # Completely rewrite the error handling mechanism to use exceptions instead of printing to stderr
17 if (/fprintf.stderr, .*? flexml_err_msg.;/) {
18 print(' simgrid_parse_error(flexml_err_msg);'."\n");
22 # Actually outputs the resulting line