From 85af1592bf5d7af0b30df9c129fc8108c41e7c7a Mon Sep 17 00:00:00 2001
From: Sly Gryphon <sgryphon@computer.org>
Date: Sat, 16 Mar 2024 17:08:35 +1000
Subject: [PATCH] Update version number parsing to include esp-arduino-libs
 format

---
 platform.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/platform.py b/platform.py
index 0e88fbcfc..24aa6226f 100644
--- a/platform.py
+++ b/platform.py
@@ -298,6 +298,7 @@ def _parse_version(original_version):
                 r"^gcc(?P<MAJOR>\d+)_(?P<MINOR>\d+)_(?P<PATCH>\d+)-esp-(?P<EXTRA>.+)$",
                 r"^esp-(?P<EXTRA>.+)-(?P<MAJOR>\d+)\.(?P<MINOR>\d+)\.?(?P<PATCH>\d+)$",
                 r"^esp-(?P<MAJOR>\d+)\.(?P<MINOR>\d+)\.(?P<PATCH>\d+)(_(?P<EXTRA>.+))?$",
+                r"^idf-release_v(?P<MAJOR>\d+)\.(?P<MINOR>\d+)(.(?P<PATCH>\d+))?(-(?P<EXTRA>.+))?$",
             )
             for pattern in version_patterns:
                 match = re.search(pattern, original_version)
@@ -305,7 +306,7 @@ def _parse_version(original_version):
                     result = "%s.%s.%s" % (
                         match.group("MAJOR"),
                         match.group("MINOR"),
-                        match.group("PATCH"),
+                        match.group("PATCH") if match.group("PATCH") is not None else "0",
                     )
                     if match.group("EXTRA"):
                         result = result + "+%s" % match.group("EXTRA")