| Index: sky/tools/deploy_sdk.py
|
| diff --git a/sky/tools/deploy_sdk.py b/sky/tools/deploy_sdk.py
|
| index 44baf9f2e01454ffee13531fc219f963722c6f33..b2342e307fdeb90e72fd49cb8ef2b15006eb842e 100755
|
| --- a/sky/tools/deploy_sdk.py
|
| +++ b/sky/tools/deploy_sdk.py
|
| @@ -170,6 +170,8 @@ def main():
|
| # Mojo package, lots of overlap with gen, must be copied:
|
| copy(src_path('mojo/public'), sdk_path('packages/mojo/lib/public'),
|
| dart_filter)
|
| + copy(os.path.join(build_dir, 'gen/dart-gen/keyboard'),
|
| + sdk_path('packages/keyboard/lib'), gen_filter)
|
| copy(os.path.join(build_dir, 'gen/dart-gen/mojo'),
|
| sdk_path('packages/mojo/lib'), gen_filter)
|
|
|
| @@ -197,6 +199,8 @@ def main():
|
| if args.fake_pub_get_into:
|
| packages_dir = os.path.abspath(args.fake_pub_get_into)
|
| ensure_dir_exists(packages_dir)
|
| + make_relative_symlink(sdk_path('packages/keyboard/lib'),
|
| + os.path.join(packages_dir, 'keyboard'))
|
| make_relative_symlink(sdk_path('packages/mojo/lib'),
|
| os.path.join(packages_dir, 'mojo'))
|
| make_relative_symlink(sdk_path('packages/sky/lib'),
|
|
|