| Index: sky/tools/deploy_sdk.py
|
| diff --git a/sky/tools/deploy_sdk.py b/sky/tools/deploy_sdk.py
|
| index c510afedecb641a9cf3297d6adb8b4f265571592..70b6f6dd821d4643a22857dca9c47f40297fa334 100755
|
| --- a/sky/tools/deploy_sdk.py
|
| +++ b/sky/tools/deploy_sdk.py
|
| @@ -179,6 +179,15 @@ def main():
|
| for mojom_dir in mojom_dirs:
|
| copy(mojom_dir, sdk_path('packages/mojom/lib/'), gen_filter)
|
|
|
| + # By convention the generated .mojom.dart files in a pub package
|
| + # go under $PACKAGE/lib/mojom.
|
| + # TODO: Should *all* generated bindings under dart-gen/mojom go into the
|
| + # the mojo package? Maybe everything aside from mojom/sky stuff?
|
| + copy(os.path.join(build_dir, 'gen/dart-gen/mojom/mojo'),
|
| + sdk_path('packages/mojo/lib/mojom'), gen_filter)
|
| + copy(os.path.join(build_dir, 'gen/dart-gen/mojom/sky'),
|
| + sdk_path('packages/sky/lib/mojom'), gen_filter)
|
| +
|
| # Mojo SDK additions:
|
| copy_or_link(src_path('mojo/public/dart/bindings.dart'),
|
| sdk_path('packages/mojo/sdk_additions/dart_mojo_bindings.dart'))
|
|
|