ports: Add gmp port

This will be used by gcc
This commit is contained in:
2025-01-25 18:35:56 +02:00
parent caa8c1da90
commit 42500ce043
2 changed files with 17 additions and 0 deletions

5
ports/gmp/build.sh Executable file
View File

@@ -0,0 +1,5 @@
#!/bin/bash ../install.sh
NAME='gmp'
VERSION='6.3.0'
DOWNLOAD_URL="https://ftp.gnu.org/gnu/gmp/gmp-$VERSION.tar.xz#a3c2b80201b89e68616f4ad30bc66aee4927c3ce50e33929ca819d5c43538898"