Move getters from Options to Platform

sdk/lib/_internal/pub/lib/src/sdk.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.
 
 /// Operations relative to the user's installed Dart SDK.
 library sdk;
 
 import 'dart:io';
 
 import 'package:pathos/path.dart' as path;
@@ skipping 11 matching lines @@
 String get rootDirectory {
   // If the environment variable was provided, use it. This is mainly used for
   // the pub tests.
   var dir = Platform.environment["DART_SDK"];
   if (dir != null) {
     log.fine("Using DART_SDK to find SDK at $dir");
     return dir;
   }
 
   // Assume the Dart executable is always coming from the SDK.
-  return path.dirname(path.dirname(new Options().executable));
+  return path.dirname(path.dirname(Platform.executable));
 }
 
 /// Gets the SDK's revision number formatted to be a semantic version.
 Version version = _getVersion();
 
 /// Is `true` if the current SDK is an unreleased bleeding edge version.
 bool get isBleedingEdge {
   // The live build is locked to the magical old number "0.1.2+<stuff>".
   return version.major == 0 && version.minor == 1 && version.patch == 2;
 }
@@ skipping 11 matching lines @@
         "format pub could recognize. Found: $version");
   }
 
   // Semantic versions cannot use "_".
   var build = match[4].replaceAll('_', '.');
 
   return new Version(
       int.parse(match[1]), int.parse(match[2]), int.parse(match[3]),
       build: build);
 }