Adapt to work with registry packages

builder/main.py

@@ -168,7 +168,7 @@ def fetch_fs_size(env):
             "Available sketch size with current "
             "config would be %d bytes.\n" % maximum_size)
         sys.stderr.flush()
-        env.Exit(-1)
+        env.Exit(1)
 
     env["PICO_FLASH_LENGTH"] = flash_length
     env["PICO_EEPROM_START"] = eeprom_start

examples/arduino-blink-earlephilhower/platformio.ini

@@ -11,9 +11,6 @@
 platform = raspberrypi
 framework = arduino
 board_build.core = earlephilhower
-platform_packages = 
-    maxgerhardt/framework-arduinopico@https://github.com/earlephilhower/arduino-pico.git
-    maxgerhardt/toolchain-pico@https://github.com/earlephilhower/pico-quick-toolchain/releases/download/1.3.3-a/x86_64-linux-gnu.arm-none-eabi-ed6d983.220212.tar.gz
 
 [env:pico]
 board = pico

platform.json

@@ -31,10 +31,10 @@
       "owner": "platformio",
       "version": "~1.90201.0"
     },
-    "toolchain-pico": {
+    "toolchain-rp2040-earlephilhower": {
       "type": "toolchain", 
       "optional": true,
-      "owner": "maxgerhardt",
+      "owner": "earlephilhower",
       "version": "~5.100300.0"
     },
     "framework-arduino-mbed": {
@@ -46,19 +46,19 @@
     "framework-arduinopico": {
       "type": "framework",
       "optional": true,
-      "owner": "maxgerhardt",
+      "owner": "earlephilhower",
-      "version": "~1.10902.0"
+      "version": "https://github.com/earlephilhower/arduino-pico.git"
     },
     "tool-rp2040tools": {
       "type": "uploader",
       "owner": "platformio",
       "version": "~1.0.2"
     },
-    "tool-openocd-raspberrypi": {
+    "tool-openocd-rp2040-earlephilhower": {
       "type": "uploader",
       "optional": true,
-      "owner": "platformio",
+      "owner": "earlephilhower",
-      "version": "~2.1100.0"
+      "version": "~5.100300.0"
     },
     "tool-jlink": {
       "type": "uploader",
@@ -66,11 +66,11 @@
       "owner": "platformio",
       "version": "~1.72000.0"
     },
-    "tool-mklittlefs": {
+    "tool-mklittlefs-rp2040-earlephilhower": {
       "type": "uploader",
       "optional": true,
-      "owner": "platformio",
+      "owner": "earlephilhower",
-      "version": "~1.203.0"
+      "version": "~5.100300.0"
     }
   }
 }

platform.py

@@ -37,13 +37,13 @@ class RaspberrypiPlatform(PlatformBase):
             if build_core == "arduino":
                 self.frameworks["arduino"]["package"] = "framework-arduino-mbed"
                 self.packages["framework-arduinopico"]["optional"] = True
-                self.packages["toolchain-pico"]["optional"] = True 
+                self.packages["toolchain-rp2040-earlephilhower"]["optional"] = True 
-                self.packages.pop("toolchain-pico", None)
+                self.packages.pop("toolchain-rp2040-earlephilhower", None)
             elif build_core == "earlephilhower":
                 self.frameworks["arduino"]["package"] = "framework-arduinopico"
                 self.packages["framework-arduino-mbed"]["optional"] = True
                 self.packages.pop("toolchain-gccarmnoneeabi", None)
-                self.packages["toolchain-pico"]["optional"] = False                
+                self.packages["toolchain-rp2040-earlephilhower"]["optional"] = False                
             else:
                 sys.stderr.write(
                     "Error! Unknown build.core value '%s'. Don't know which Arduino core package to use." % build_core)
@@ -117,7 +117,7 @@ class RaspberrypiPlatform(PlatformBase):
                 debug["tools"][link] = {
                     "server": {
                         "executable": "bin/openocd",
-                        "package": "tool-openocd-raspberrypi",
+                        "package": "tool-openocd-rp2040-earlephilhower",
                         "arguments": [
                             "-s", "$PACKAGE_DIR/share/openocd/scripts",
                             "-f", "interface/%s.cfg" % link,