ports: Add mpfr port

This will be used by gcc
2025-01-25 18:36:17 +02:00
parent 42500ce043
commit ba83ede0d1
2 changed files with 22 additions and 0 deletions
--- a/ports/mpfr/build.sh
+++ b/ports/mpfr/build.sh
@@ -0,0 +1,10 @@
+#!/bin/bash ../install.sh
+
+NAME='mpfr'
+VERSION='4.2.1'
+DOWNLOAD_URL="https://ftp.gnu.org/gnu/mpfr/mpfr-$VERSION.tar.gz#116715552bd966c85b417c424db1bbdf639f53836eb361549d1f8d6ded5cb4c6"
+DEPENDENCIES=('gmp')
+CONFIGURE_OPTIONS=(
+	"--target=$BANAN_TOOLCHAIN_TRIPLE"
+	'--with-sysroot=/'
+)