mkosi: install correct package for mypy

Package "mypy" doesn't exist on all distro, install the correct package depending on the distro.
2026-04-14 00:14:32 +09:00 · 2024-11-29 02:30:34 +01:00
parent a414a1891f
commit 3f3b4959e2
5 changed files with 4 additions and 1 deletions
--- a/mkosi.conf.d/05-tools/mkosi.conf
+++ b/mkosi.conf.d/05-tools/mkosi.conf
@@ -5,5 +5,4 @@ ToolsTreePackages=
        gcc
        gperf
        meson
-        mypy
        pkgconf
--- a/mkosi.conf.d/05-tools/mkosi.conf.d/arch.conf
+++ b/mkosi.conf.d/05-tools/mkosi.conf.d/arch.conf
@@ -9,6 +9,7 @@ ToolsTreePackages=
        github-cli
        libcap
        libmicrohttpd
+        mypy
        python-jinja
        python-pytest
        ruff
--- a/mkosi.conf.d/05-tools/mkosi.conf.d/centos-fedora.conf
+++ b/mkosi.conf.d/05-tools/mkosi.conf.d/centos-fedora.conf
@@ -15,5 +15,6 @@ ToolsTreePackages=
        pkgconfig(mount)
        tpm2-tss-devel
        python3-jinja2
+        python3-mypy
        python3-pytest
        shellcheck
--- a/mkosi.conf.d/05-tools/mkosi.conf.d/debian-ubuntu.conf
+++ b/mkosi.conf.d/05-tools/mkosi.conf.d/debian-ubuntu.conf
@@ -15,6 +15,7 @@ ToolsTreePackages=
        libmicrohttpd-dev
        libmount-dev
        libtss2-dev
+        mypy
        python3-jinja2
        python3-pytest
        shellcheck
--- a/mkosi.conf.d/05-tools/mkosi.conf.d/opensuse.conf
+++ b/mkosi.conf.d/05-tools/mkosi.conf.d/opensuse.conf
@@ -6,6 +6,7 @@ ToolsTreeDistribution=opensuse
 [Build]
 ToolsTreePackages=
        gh
+        mypy
        pkgconfig(blkid)
        pkgconfig(libcap)
        pkgconfig(libcryptsetup)