| 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);
|
| -}
|
|
|