mkosi: install correct package for mypy

Package "mypy" doesn't exist on all distro, install the correct package
depending on the distro.

diff --git a/mkosi.conf.d/05-tools/mkosi.conf b/mkosi.conf.d/05-tools/mkosi.conf
index 02bf2aaddaf98397bc6ea2ec3fcceffe1c0e698b..746dd37870fc80afbb460f0b42d9d1ba03832b77 100644 (file)
--- 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

diff --git a/mkosi.conf.d/05-tools/mkosi.conf.d/arch.conf b/mkosi.conf.d/05-tools/mkosi.conf.d/arch.conf
index e26efa49cc81ed29140b444df10c501f78c97964..7aba50248a865a03bc3870a1539383ff051fc2b0 100644 (file)
--- 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

diff --git a/mkosi.conf.d/05-tools/mkosi.conf.d/centos-fedora.conf b/mkosi.conf.d/05-tools/mkosi.conf.d/centos-fedora.conf
index 86315b773a2c3ee6bc2fcc414009f62cb5f4a184..23731f7376ceb5b83b7a09bb794dbe9d078a55ef 100644 (file)
--- 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

diff --git a/mkosi.conf.d/05-tools/mkosi.conf.d/debian-ubuntu.conf b/mkosi.conf.d/05-tools/mkosi.conf.d/debian-ubuntu.conf
index 5c7e06c7719b8f96b677fdb6e625cc027807ba1d..46204fe8f639c7d266092201012605daad22888c 100644 (file)
--- 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

diff --git a/mkosi.conf.d/05-tools/mkosi.conf.d/opensuse.conf b/mkosi.conf.d/05-tools/mkosi.conf.d/opensuse.conf
index 6a9b21bd907a5eacc00240856ef5bb3403377da5..9c56164f3269fc62cd81ae83654eb8d3d6a771c5 100644 (file)
--- 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)