runtime/observatory/update_sources.py

#!/usr/bin/env python
#
# Copyright (c) 2016, the Dart project authors.  Please see the AUTHORS file
# for details. All rights reserved. Use of this source code is governed by a
# BSD-style license that can be found in the LICENSE file.

# Updates the list of Observatory source files.

import os
import sys
from datetime import date

def getDir(rootdir, target):
  sources = []
  for root, subdirs, files in os.walk(rootdir):
    subdirs.sort()
    files.sort()
    for f in files:
      sources.append(root + '/' + f)
  return sources

HEADER = """# Copyright (c) 2017, the Dart project authors. Please see the AUTHORS file
# for details. All rights reserved. Use of this source code is governed by a
# BSD-style license that can be found in the LICENSE file.

# DO NOT EDIT. This file is generated by update_sources.py in this directory.

# This file contains all dart, css, and html sources for Observatory.
"""

def main():
  with open('observatory_sources.gni', 'w') as target:
    target.write(HEADER)
    target.write('observatory_sources = [\n')
    sources = []
    for rootdir in ['lib', 'web']:
      sources.extend(getDir(rootdir, target))
    sources.sort()
    for s in sources:
      if (s[-9:] != 'README.md'):
        target.write('  "' + s + '",\n')
    target.write(']\n')

if __name__ == "__main__":
   main()