Bananymous/banan-os
1
1
Fork 1
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

BuildSystem: Use ftpmirror.gnu.org for downloads

Browse Source 
ftp.gnu.org is really slow :(
This commit is contained in:
Bananymous
2025-09-30 16:13:38 +03:00
parent da39e98adf
commit da6b8eb2ab
10 changed files with 15 additions and 15 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ports/mpfr/build.sh
View File

@@ -2,7 +2,7 @@
NAME='mpfr'
VERSION='4.2.2'
DOWNLOAD_URL="https://ftp.gnu.org/gnu/mpfr/mpfr-$VERSION.tar.gz#826cbb24610bd193f36fde172233fb8c009f3f5c2ad99f644d0dea2e16a20e42"
DOWNLOAD_URL="https://ftpmirror.gnu.org/gnu/mpfr/mpfr-$VERSION.tar.gz#826cbb24610bd193f36fde172233fb8c009f3f5c2ad99f644d0dea2e16a20e42"
DEPENDENCIES=('gmp')
CONFIG_SUB=('config.sub')
CONFIGURE_OPTIONS=(