- Remove unneeded library tags when concatenating libraries.

runtime/tools/concat_library.py

Index: runtime/tools/concat_library.py
===================================================================
--- runtime/tools/concat_library.py	(revision 15315)
+++ runtime/tools/concat_library.py	(working copy)
@@ -31,7 +31,10 @@
         for source in arguments:
             with open(source, 'r') as inpt:
                 for line in inpt:
-                    if line.startswith('#source'):
+                    # Drop unneeded library tags as all the library's files
+                    # are concatenated into one big file here:
+                    # The 'part' and 'part of' library tags are removed.
+                    if line.startswith('#source') or line.startswith('part '):

[siva, 2012/11/27 02:18:07]

There is the danger of legal lines which start with part being removed here:
e.g:
func1(
param1 ,
part ,
sum);

Also, is it a requirement that 'part' has to be the first word without any
whitespace?
e.g:
   part of deepshit;  // Is this legal.

why not do:
line = re.sub("part of .*;", "", line);

[Ivan Posva, 2012/11/27 05:38:19]

I understand all of these limitations (they went away with the new syntax which
is easier on the eyes and harder for tools). In any case we also need to replace
the equivalent of #source, which is "part 'uri';" so this hits two birds with
one stone. Eventually this should go away when we load the sources directly from
disk for dart_no_snapshot and gen_snapshot. We still will need to find a way to
load the non-snapshotted sources at that point though.

Somebody with better regular expression understanding than me can certainly
refine the above test. Currently it seems to be safe.

                         line = '// %s' % line
                     output.write(line)
     shutil.move(tmp_name, options.output)