Index: third_party/pkg/js/tools/create_bootstrap.dart |
diff --git a/third_party/pkg/js/tools/create_bootstrap.dart b/third_party/pkg/js/tools/create_bootstrap.dart |
deleted file mode 100755 |
index 5c06c6a7ac247438bc7a46f697f29d9c58c8c513..0000000000000000000000000000000000000000 |
--- a/third_party/pkg/js/tools/create_bootstrap.dart |
+++ /dev/null |
@@ -1,55 +0,0 @@ |
-#!/usr/bin/env dart |
-// Copyright (c) 2012, 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. |
- |
-/** |
- * This utility carves out the embedded bootstrap JavaScript in |
- * js.dart as a separate file that may be included directly in html. |
- * This is necessary in settings where script injection is disallowed. |
- * |
- * To run, navigate to the top-level directory for this project and run: |
- * .../dart ./tools/create_bootstrap.dart |
- */ |
-library create_bootstrap; |
- |
-import 'dart:io'; |
- |
-final JS_PATTERN = new RegExp(r'final _JS_BOOTSTRAP = r"""((.*\n)*)""";'); |
- |
-final HEADER = """ |
-// Copyright (c) 2012, 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. |
- |
-// THIS FILE IS AUTO GENERATED. PLEASE DO NOT EDIT. |
- |
-// TODO(vsm): Move this file once we determine where assets should go. See |
-// http://dartbug.com/6101. |
-"""; |
- |
-createFile(Path source, Path target) { |
- final f = new File.fromPath(source); |
- f.readAsString() |
- .then((text) { |
- final js = JS_PATTERN.firstMatch(text).group(1); |
- final out = new File.fromPath(target); |
- out.create() |
- .then((out) => out.open(mode: FileMode.WRITE) |
- .then((file) => file.writeString(HEADER) |
- .then((file) => file.writeString(js) |
- .then((file) => file.close())))); |
- }); |
-} |
- |
-create(Path libPath) { |
- final source = libPath.append('js.dart'); |
- final target = libPath.append('dart_interop.js'); |
- createFile(source, target); |
-} |
- |
-main() { |
- final scriptPath = new Path(Platform.script).directoryPath; |
- final libPath = scriptPath.join(new Path('../lib')); |
- create(libPath); |
-} |