diff --git a/platformio/managers/platform.py b/platformio/managers/platform.py index 35e842db..5f7e0adc 100644 --- a/platformio/managers/platform.py +++ b/platformio/managers/platform.py @@ -460,8 +460,7 @@ class PlatformBase( # pylint: disable=too-many-public-methods self._manifest = util.load_json(manifest_path) self.pm = PackageManager( - join(util.get_home_dir(), "packages"), - self._manifest.get("packageRepositories")) + join(util.get_home_dir(), "packages"), self.package_repositories) self.silent = False self.verbose = False @@ -516,6 +515,10 @@ class PlatformBase( # pylint: disable=too-many-public-methods def engines(self): return self._manifest.get("engines") + @property + def package_repositories(self): + return self._manifest.get("packageRepositories") + @property def manifest(self): return self._manifest