From e3828b361dc87a885011bdba1fa8ca7a99b23e76 Mon Sep 17 00:00:00 2001
From: unknown <maximilian.gerhardt@rub.de>
Date: Wed, 14 Jul 2021 04:29:18 +0200
Subject: [PATCH] Use toolchain-pico

---
 platform.json | 6 ++++++
 platform.py   | 2 ++
 2 files changed, 8 insertions(+)

diff --git a/platform.json b/platform.json
index 1bf5587..1148c3c 100644
--- a/platform.json
+++ b/platform.json
@@ -31,6 +31,12 @@
       "owner": "platformio",
       "version": "~1.90201.0"
     },
+    "toolchain-pico": {
+      "type": "toolchain", 
+      "optional": true,
+      "owner": "maxgerhardt",
+      "version": "~5.100300.0"
+    },
     "framework-arduino-mbed": {
       "type": "framework",
       "optional": true,
diff --git a/platform.py b/platform.py
index e813269..e63ad5d 100644
--- a/platform.py
+++ b/platform.py
@@ -40,6 +40,8 @@ class RaspberrypiPlatform(PlatformBase):
             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                
             else:
                 sys.stderr.write(
                     "Error! Unknown build.core value '%s'. Don't know which Arduino core package to use." % build_core)