diff options
Diffstat (limited to 'source-builder/config/gmp.cfg')
-rw-r--r-- | source-builder/config/gmp.cfg | 19 |
1 files changed, 17 insertions, 2 deletions
diff --git a/source-builder/config/gmp.cfg b/source-builder/config/gmp.cfg index ffd3b20..352caef 100644 --- a/source-builder/config/gmp.cfg +++ b/source-builder/config/gmp.cfg @@ -15,9 +15,23 @@ Release: %{release} URL: https://gmplib.org/ # +# Allow the user to override the UURL +# +%if %{!defined gmp_url} + %define gmp_url https://gmplib.org/download/gmp +%endif + +# # Source # -%source set gmp https://gcc.gnu.org/pub/gcc/infrastructure/gmp-%{gmp_version}.tar.bz2 +%source set gmp %{gmp_url}/gmp-%{gmp_version}.tar.bz2 + +# +# Allow extra options +# +%if %{!defined gmp_extra_options} + %define gmp_extra_options %{nil} +%endif # # Prepare the source code. @@ -44,7 +58,8 @@ URL: https://gmplib.org/ --exec-prefix=%{_exec_prefix} \ --includedir=%{_includedir} --libdir=%{_libdir} \ --mandir=%{_mandir} --infodir=%{_infodir} \ - --disable-shared + --disable-shared \ + %{gmp_extra_options} %{__make} %{?_smp_mflags} all |