| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 1e4fc74a871cde1fc3cf7cf509b5a81bcb3e12c2..0d72c9d9350cf225d6efdcc40b28389fec033a21 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -44,6 +44,8 @@
|
| # ......dart_shared.platform
|
| # ......dart2dart.platform
|
| # ......_internal/
|
| +#.........spec.sum
|
| +#.........strong.sum
|
| # ......analysis_server/
|
| # ......analyzer/
|
| # ......async/
|
| @@ -157,7 +159,13 @@ def CopyDartdocResources(home, sdk_root):
|
| PACKAGES_FILE = join(DARTDOC, '.packages')
|
| packages_file = open(PACKAGES_FILE, 'w')
|
| packages_file.write('dartdoc:.')
|
| - packages_file.close()
|
| + packages_file.close()
|
| +
|
| +def CopyAnalysisSummaries(snapshots, lib):
|
| + copyfile(join(snapshots, 'spec.sum'),
|
| + join(lib, '_internal', 'spec.sum'))
|
| + copyfile(join(snapshots, 'strong.sum'),
|
| + join(lib, '_internal', 'strong.sum'))
|
|
|
|
|
| def Main():
|
| @@ -290,10 +298,11 @@ def Main():
|
|
|
| # Copy dart2js/pub.
|
| CopyDartScripts(HOME, SDK_tmp)
|
| -
|
| +
|
| CopySnapshots(SNAPSHOT, SDK_tmp)
|
| CopyDartdocResources(HOME, SDK_tmp)
|
| CopyAnalyzerSources(HOME, LIB)
|
| + CopyAnalysisSummaries(SNAPSHOT, LIB)
|
|
|
| # Write the 'version' file
|
| version = utils.GetVersion()
|
|
|