| Index: tools/create_sdk.py
|
| diff --git a/tools/create_sdk.py b/tools/create_sdk.py
|
| index 273d1fd43d3fa4eec78d61c960829f3dbfcc37ca..a99030ca8af66415d5ec3917a03bef1790a68b92 100755
|
| --- a/tools/create_sdk.py
|
| +++ b/tools/create_sdk.py
|
| @@ -475,6 +475,18 @@ def Main(argv):
|
| copytree(pub_src_dir, pub_dst_dir,
|
| ignore=ignore_patterns('.svn', 'sdk'))
|
|
|
| + # Copy in 7zip for Windows.
|
| + if utils.GuessOS() == 'win32':
|
| + copytree(join(HOME, 'third_party', '7zip'),
|
| + join(pub_dst_dir, '7zip'))
|
| +
|
| + ReplaceInFiles([
|
| + join(UTIL, 'pub', 'io.dart'),
|
| + ], [
|
| + ("var pathTo7zip = '../../third_party/7zip/7za.exe';",
|
| + "var pathTo7zip = '7zip/7za.exe';"),
|
| + ])
|
| +
|
| # Copy import maps.
|
| PLATFORMS = ['any', 'vm', 'dartium', 'dart2js' ]
|
| os.makedirs(join(LIB, 'config'))
|
|
|