mirrors/guru
1
0
Fork 0
mirror of https://github.com/gentoo-mirror/guru.git synced 2026-07-22 05:23:01 -04:00
Code Issues Packages Projects Releases Wiki Activity

dev-embedded/esp-idf: add 5.1.2

Browse Source 
Signed-off-by: David Roman <davidroman96@gmail.com>
This commit is contained in:
David Roman
2023-11-20 14:38:39 +01:00
parent e750c63f83
commit 1ed6084af5
3 changed files with 172 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
dev-embedded/esp-idf/files/allow-system-install-esp-idf-5.1.2.patch Normal file
View File

@@ -0,0 +1,12 @@
diff --git a/tools/idf_tools.py b/tools/idf_tools.py
index 8a17ed224d..2103e9d60a 100755
--- a/tools/idf_tools.py
+++ b/tools/idf_tools.py
@@ -2113,6 +2113,7 @@ def action_install_python_env(args): # type: ignore
def action_check_python_dependencies(args): # type: ignore
+ return
use_constraints = not args.no_constraints
req_paths = get_requirements('') # no new features -> just detect the existing ones