Index: sdk/lib/_internal/pub_generated/lib/src/sdk.dart |
diff --git a/sdk/lib/_internal/pub_generated/lib/src/sdk.dart b/sdk/lib/_internal/pub_generated/lib/src/sdk.dart |
new file mode 100644 |
index 0000000000000000000000000000000000000000..5a49dfcd60e342b4a53280d07fd8b869c793c32f |
--- /dev/null |
+++ b/sdk/lib/_internal/pub_generated/lib/src/sdk.dart |
@@ -0,0 +1,16 @@ |
+library pub.sdk; |
+import 'dart:io'; |
+import 'package:path/path.dart' as path; |
+import 'io.dart'; |
+import 'version.dart'; |
+final String rootDirectory = |
+ runningFromSdk ? _rootDirectory : path.join(repoRoot, "sdk"); |
+final String _rootDirectory = path.dirname(path.dirname(Platform.executable)); |
+Version version = _getVersion(); |
+Version _getVersion() { |
+ var sdkVersion = Platform.environment["_PUB_TEST_SDK_VERSION"]; |
+ if (sdkVersion != null) return new Version.parse(sdkVersion); |
+ var revisionPath = path.join(_rootDirectory, "version"); |
+ var version = readTextFile(revisionPath).trim(); |
+ return new Version.parse(version); |
+} |