| Index: pkg/dartino_compiler/lib/src/worker/developer.dart
|
| diff --git a/pkg/dartino_compiler/lib/src/worker/developer.dart b/pkg/dartino_compiler/lib/src/worker/developer.dart
|
| index a0bc4110383749da2d58d77ac28f1fde2af6e965..3e15c48619b0150780c3e02738b1b7aa3cb6399e 100644
|
| --- a/pkg/dartino_compiler/lib/src/worker/developer.dart
|
| +++ b/pkg/dartino_compiler/lib/src/worker/developer.dart
|
| @@ -1283,7 +1283,7 @@ Future<int> downloadTools(
|
| Version version = parseVersion(dartinoVersion);
|
| if (version.isEdgeVersion) {
|
| // For edge versions download use a well known version for now.
|
| - var knownVersion = "0.3.0-dev.5.2";
|
| + var knownVersion = "0.5.0-dev.0.0";
|
| print("WARNING: For bleeding edge tools from version "
|
| "$knownVersion is used.");
|
| gcsPath = "channels/dev/raw/$knownVersion/sdk";
|
| @@ -1315,14 +1315,9 @@ Future<int> downloadTools(
|
|
|
| // TODO(karlklose): add MacOS version
|
| if (Platform.isLinux) {
|
| - String emul8 = "emul8-${osName}.zip";
|
| - // TODO(karlklose): remove this and the helper when we have a dev version
|
| - // archived that we can point to.
|
| - Uri temporaryPath = Uri.parse(
|
| - "https://storage.googleapis.com/dartino-temporary/channels/be/raw/"
|
| - "0.4.0-edge.8fa0e09687e17b163825f757a9a7e89e6dd8e97d/sdk/"
|
| - "emul8-linux.zip");
|
| - result = await downloadToolFromUri(temporaryPath, emul8, "Emul8");
|
| + String gccArmEmbedded = "emul8-${osName}.zip";
|
| + var result =
|
| + await downloadTool(gcsPath, gccArmEmbedded, "Emul8");
|
| if (result != 0) return result;
|
| }
|
|
|
|
|