libgmp external (rhel) (#1811)

2026-02-25 09:50:27 +01:00
parent f630886348
commit 53af522c1c
1 changed files with 2 additions and 4 deletions
@@ -10,10 +10,8 @@ kind = "system"
 "debian|ubuntu" = ["libgmp-dev"]
 arch = ["gmp"]
 msys2 = ["mingw-w64-x86_64-gmp"]
-homebrew = ["gmp"]
-macports = ["gmp"]
-fedora = ["gmp-devel"]
-suse = ["gmp-devel"]
+"homebrew|macports" = ["gmp"]
+"fedora|rhel|suse" = ["gmp-devel"]
 gentoo = ["dev-libs/gmp"]

 [[external]]