ports: Add mpc port

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