From 82ab96b58ba3b6dd8b27a6da6d24c12c19a3310b Mon Sep 17 00:00:00 2001 From: Ax9D Date: Fri, 28 Jun 2024 14:17:17 +0530 Subject: [PATCH] Fix camkes-deps: install orderedset dependency only for old python versions orderedset fails to build in python >= 3.11 as discussed here: https://github.com/seL4/camkes-tool/issues/124 Conditionally including it as a dependency for versions <= 3.10, bypasses the issue temporarily --- tools/python-deps/setup.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/python-deps/setup.py b/tools/python-deps/setup.py index b9333448..00ed92fc 100644 --- a/tools/python-deps/setup.py +++ b/tools/python-deps/setup.py @@ -29,7 +29,7 @@ 'aenum', 'jinja2>=3.0.0', 'ordered-set', - 'orderedset', # For older source trees: remove in 0.7.4 + "orderedset;python_version<='3.10'", # For older source trees: remove in 0.7.4 'plyplus', 'pyelftools', 'sel4-deps',