diff options
| author | Ali Mohammad Pur <ali.mpfard@gmail.com> | 2022-01-08 17:02:29 +0330 |
|---|---|---|
| committer | Ali Mohammad Pur <Ali.mpfard@gmail.com> | 2022-01-16 10:32:50 +0330 |
| commit | cdd6d68b2ab56554e5ebcb61f0977534153530f1 (patch) | |
| tree | a2b3363a79e143bc9b251349c8f72c351add8a71 /Ports/mpfr/package.sh | |
| parent | 87630c5fd58a3f292f13c06d5a48a7e7835a7aa1 (diff) | |
| download | serenity-cdd6d68b2ab56554e5ebcb61f0977534153530f1.zip | |
Ports: Remove some config.sub patches and download a fresh one if needed
All of these patches did the same thing, which is already in upstream
config.sub.
With this change, we need only add `use_fresh_config_sub=true` to
the package.sh file.
Note that this is not done automatically in case the port has a modified
config.sub file.
Diffstat (limited to 'Ports/mpfr/package.sh')
| -rwxr-xr-x | Ports/mpfr/package.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Ports/mpfr/package.sh b/Ports/mpfr/package.sh index 247bed37ed..1da61bdcd7 100755 --- a/Ports/mpfr/package.sh +++ b/Ports/mpfr/package.sh @@ -2,6 +2,7 @@ port=mpfr version=4.1.0 useconfigure=true +use_fresh_config_sub=true configopts=("--target=${SERENITY_ARCH}-pc-serenity" "--with-sysroot=/") files="https://ftpmirror.gnu.org/gnu/mpfr/mpfr-${version}.tar.xz mpfr-${version}.tar.xz https://ftpmirror.gnu.org/gnu/mpfr/mpfr-${version}.tar.xz.sig mpfr-${version}.tar.xz.sig |