diff --git a/platform.json b/platform.json index 11d90ee..1bf5587 100644 --- a/platform.json +++ b/platform.json @@ -37,7 +37,7 @@ "owner": "platformio", "version": "~2.1.0" }, - "framework-arduino-pico-earlephilhower": { + "framework-arduinopico": { "type": "framework", "optional": true, "owner": "maxgerhardt", diff --git a/platform.py b/platform.py index 03ca245..dea47e8 100644 --- a/platform.py +++ b/platform.py @@ -36,9 +36,9 @@ class RaspberrypiPlatform(PlatformBase): if "arduino" in frameworks: if build_core == "arduino": self.frameworks["arduino"]["package"] = "framework-arduino-mbed" - self.packages["framework-arduino-pico-earlephilhower"]["optional"] = True + self.packages["framework-arduinopico"]["optional"] = True elif build_core == "earlephilhower": - self.frameworks["arduino"]["package"] = "framework-arduino-pico-earlephilhower" + self.frameworks["arduino"]["package"] = "framework-arduinopico" self.packages["framework-arduino-mbed"]["optional"] = True else: sys.stderr.write("Error! Unknown build.core value '%s'. Don't know which Arduino core package to use." % build_core)