add micro version (#107)

micro version number is useful when there are some packages that exclude .0 versions due to a bug found in it, such as !=3.11.0 . See related: plasma-umass/scalene#850
theoremlp · Aug 13, 2024 · 4790719 · 4790719
1 parent 88e2df9
commit 4790719
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/uv/private/pip.bzl b/uv/private/pip.bzl
@@ -18,9 +18,12 @@ _COMMON_ATTRS = {
 }
 
 def _python_version(py_toolchain):
-    return "{major}.{minor}".format(
+    # micro is useful when there are some packages that exclude .0 versions due
+    # to a bug, such as !=3.11.0
+    return "{major}.{minor}.{micro}".format(
         major = py_toolchain.py3_runtime.interpreter_version_info.major,
         minor = py_toolchain.py3_runtime.interpreter_version_info.minor,
+        micro = py_toolchain.py3_runtime.interpreter_version_info.micro,
     )
 
 def _uv_pip_compile(