libgmp external for Homebrew (#770)

* index/li/libgmp/libgmp-external.toml (external): for package manager homebrew, fetch 'gmp'.
2023-04-26 09:28:50 +01:00
parent 9432950cde
commit 6153961d80
1 changed files with 1 additions and 0 deletions
@@ -10,6 +10,7 @@ kind = "system"
 "debian|ubuntu" = ["libgmp-dev"]
 arch = ["gmp"]
 msys2 = ["mingw-w64-x86_64-gmp"]
+homebrew = ["gmp"]

 [[external]]
 kind = "version-output"