6: Use isl-0.18

There are build problems with isl-0.24 on CentOS 7.9.
This commit is contained in:
Sebastian Huber 2022-04-27 07:24:59 +02:00
parent 22cb79b1f0
commit 7eaefb28ee

View File

@ -5,8 +5,8 @@
# newlib, ISL, MPFR, MPC, and GMP in a one-tree build configuration.
#
%define isl_version 0.24
%hash sha512 isl-%{isl_version}.tar.bz2 aab3bddbda96b801d0f56d2869f943157aad52a6f6e6a61745edd740234c635c38231af20bc3f1a08d416a5e973a90e18249078ed8e4ae2f1d5de57658738e95
%define isl_version 0.18
%hash sha512 isl-%{isl_version}.tar.bz2 85d0b40f4dbf14cb99d17aa07048cdcab2dc3eb527d2fbb1e84c41b2de5f351025370e57448b63b2b8a8cf8a0843a089c3263f9baee1542d5c2e1cb37ed39d94
%define mpfr_version 3.1.6
%hash sha512 mpfr-%{mpfr_version}.tar.bz2 0c310dd7956be527884f8059c195a5aca1042b089d0927ac6341e6310b1250a7059bc61aaaab4dfb76c6ab8b67e440878ca203f72674529bbcb46770ed9b6885