diff --git a/gcc.spec b/gcc.spec index 2361604544dc709c50426b423b389acc46184c5f..3e3694eeb16963defea19756ab120f79c7bd2fbc 100644 --- a/gcc.spec +++ b/gcc.spec @@ -2,7 +2,7 @@ %define debug_package %{nil} %global gcc_version 7.3.0 -%global isl_version 0.14 +%global isl_version 0.21 %global cloog_version 0.18.4 %define compat_gcc_provides 7777777 @@ -37,12 +37,12 @@ Summary: Various compilers (C, C++, Objective-C, Java, ...) Name: gcc Version: 7.3.0 -Release: %{DATE}.38 +Release: %{DATE}.39 License: GPLv3+ and GPLv3+ with exceptions and GPLv2+ with exceptions and LGPLv2+ and BSD Group: Development/Languages #Source0: hcc-aarch64-linux-release.tar.bz2 Source0: gcc-%{version}.tar.gz -Source1: isl-%{isl_version}.tar.xz +Source1: isl-%{isl_version}.tar.bz2 Source2: cloog-%{cloog_version}.tar.gz BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n) BuildRequires: gmp libmpc-devel mpfr gmp-devel glibc-headers gcc-c++ mpfr-devel @@ -759,7 +759,7 @@ CC="$CC" CFLAGS="$OPT_FLAGS" \ --with-system-zlib --enable-__cxa_atexit --disable-libunwind-exceptions \ --enable-gnu-unique-object --enable-linker-build-id --with-linker-hash-style=gnu \ --enable-languages=c,c++,objc,obj-c++,fortran,lto --enable-plugin \ - --enable-initfini-array --disable-libgcj --without-isl --without-cloog \ + --enable-initfini-array --disable-libgcj --with-isl=`cd isl-install;pwd` --without-cloog \ --enable-gnu-indirect-function --build=%{gcc_target_platform} \ --with-stage1-ldflags="$OPT_LDFLAGS" \ --with-boot-ldflags="$OPT_LDFLAGS" \ @@ -3286,6 +3286,12 @@ fi %changelog +* Sun Jun 26 2021 jiangchuangang - 7.3.0-20210203.39 +- Type:bugfix +- ID:NA +- SUG:NA +- DESC:update isl version and add --with-isl + * Wed Apr 28 2021 eastb233 - 7.3.0-20210428.38 - Add-full-steady_clock-support-to-condition_variable.patch: New file - gcc.spec: Add new patch diff --git a/isl-0.14.tar.xz b/isl-0.14.tar.xz deleted file mode 100644 index 823478eeabef35afb19b9ebea047dd34c09694cb..0000000000000000000000000000000000000000 Binary files a/isl-0.14.tar.xz and /dev/null differ diff --git a/isl-0.21.tar.bz2 b/isl-0.21.tar.bz2 new file mode 100644 index 0000000000000000000000000000000000000000..9d35d763a2ccc72731b830cd53ba75ea4d82e8bd --- /dev/null +++ b/isl-0.21.tar.bz2 @@ -0,0 +1,162 @@ + + + + Index of / + + + +

Integer Set Library

+ +isl is a library for manipulating sets and relations of integer points +bounded by linear constraints. Supported operations on sets include +intersection, union, set difference, emptiness check, convex hull, +(integer) affine hull, integer projection, computing the lexicographic +minimum using parametric integer programming, coalescing and +parametric vertex enumeration. It also includes an ILP +solver based on generalized basis reduction, transitive closures +on maps (which may encode infinite graphs), dependence analysis and +bounds on piecewise step-polynomials. + +For more information see +the online user manual + (html) or +the complete manual (pdf). +For an introduction to the underlying concepts, see + +Presburger Formulas and Polyhedral Compilation. +The barvinok package +contains an +iscc +calculator that exposes some of the operations supported by isl. + +

+ +isl is released under the MIT license + +

+ +See the git repository +for the latest development version. +

+ +To be kept informed about new releases, + + + + +
+ Google Groups +
+ isl Announce +
+ subscribe to this group +
+ +

+ +If you use isl, you can let me know by stacking +isl on Open Hub. + +

+ +For bug reports, feature requests and questions, + + + + +
+ Google Groups +
+ isl Development +
+ Visit this group +
+ +

+ +See +http://polyhedral.info/software +for related software. +

+ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
[ICO]NameLast modifiedSizeDescription
[TXT]HEADER.html2019-11-09 10:39 2.4K 
[IMG]favicon.ico2013-09-07 17:24 766  
[IMG]groups_logo_sm.gif2013-09-02 16:27 2.6K 
[ ]isl-0.07.tar.bz22013-09-04 12:58 941K 
[ ]isl-0.08.tar.bz22013-09-06 08:09 1.0M 
[ ]isl-0.09.tar.bz22013-09-04 12:58 1.0M 
[ ]isl-0.10.tar.bz22013-09-04 12:58 1.0M 
[ ]isl-0.11.1.tar.bz22013-09-02 15:56 1.2M 
[ ]isl-0.11.1.tar.gz2013-09-02 15:56 1.4M 
[ ]isl-0.11.1.tar.lzma2013-09-02 15:56 1.0M 
[ ]isl-0.11.2.tar.bz22013-09-02 15:56 1.2M 
[ ]isl-0.11.2.tar.gz2013-09-02 15:57 1.4M 
[ ]isl-0.11.2.tar.lzma2013-09-02 15:57 1.1M 
[ ]isl-0.11.tar.bz22013-09-02 15:57 1.2M 
[ ]isl-0.11.tar.gz2013-09-02 15:57 1.4M 
[ ]isl-0.11.tar.lzma2013-09-02 15:57 1.0M 
[ ]isl-0.12.1.tar.bz22013-09-02 15:58 1.2M 
[ ]isl-0.12.1.tar.gz2013-09-02 15:58 1.4M 
[ ]isl-0.12.1.tar.lzma2013-09-02 15:58 1.1M 
[ ]isl-0.12.2.tar.bz22014-01-12 22:32 1.3M 
[ ]isl-0.12.2.tar.gz2014-01-12 22:33 1.4M 
[ ]isl-0.12.2.tar.lzma2014-01-12 22:33 1.1M 
[ ]isl-0.12.tar.bz22013-09-02 15:58 1.2M 
[ ]isl-0.12.tar.gz2013-09-02 15:58 1.4M 
[ ]isl-0.12.tar.lzma2013-09-02 15:59 1.1M 
[ ]isl-0.13.tar.bz22014-04-15 15:45 1.3M 
[ ]isl-0.13.tar.gz2014-04-15 15:45 1.5M 
[ ]isl-0.13.tar.xz2014-04-15 15:45 1.1M 
[ ]isl-0.14.1.tar.bz22015-04-09 15:40 1.3M 
[ ]isl-0.14.1.tar.gz2015-04-09 15:40 1.6M 
[ ]isl-0.14.1.tar.xz2015-04-09 15:41 1.2M 
[ ]isl-0.14.tar.bz22014-10-28 10:06 1.3M 
[ ]isl-0.14.tar.gz2014-10-28 10:06 1.6M 
[ ]isl-0.14.tar.xz2014-10-28 10:07 1.2M 
[ ]isl-0.15.tar.bz22015-06-12 13:44 1.5M 
[ ]isl-0.15.tar.gz2015-06-12 13:44 1.7M 
[ ]isl-0.15.tar.xz2015-06-12 13:44 1.3M 
[ ]isl-0.16.1.tar.bz22016-01-15 10:29 1.6M 
[ ]isl-0.16.1.tar.gz2016-01-15 10:29 1.8M 
[ ]isl-0.16.1.tar.xz2016-01-15 10:29 1.4M 
[ ]isl-0.16.tar.bz22016-01-13 16:40 1.5M 
[ ]isl-0.16.tar.gz2016-01-13 16:40 1.8M 
[ ]isl-0.16.tar.xz2016-01-13 16:40 1.4M 
[ ]isl-0.17.1.tar.bz22016-05-07 16:04 1.5M 
[ ]isl-0.17.1.tar.gz2016-05-07 16:05 1.8M 
[ ]isl-0.17.1.tar.xz2016-05-07 16:05 1.4M 
[ ]isl-0.17.tar.bz22016-05-04 10:19 1.5M 
[ ]isl-0.17.tar.gz2016-05-04 10:19 1.8M 
[ ]isl-0.17.tar.xz2016-05-04 10:20 1.4M 
[ ]isl-0.18.tar.bz22016-12-20 13:56 1.6M 
[ ]isl-0.18.tar.gz2016-12-20 13:57 1.9M 
[ ]isl-0.18.tar.xz2016-12-20 13:57 1.4M 
[ ]isl-0.19.tar.bz22018-03-03 22:27 1.6M 
[ ]isl-0.19.tar.gz2018-03-03 22:27 1.9M 
[ ]isl-0.19.tar.xz2018-03-03 22:27 1.4M 
[ ]isl-0.20.tar.bz22018-07-28 23:40 1.6M 
[ ]isl-0.20.tar.gz2018-07-28 23:40 1.9M 
[ ]isl-0.20.tar.xz2018-07-28 23:40 1.5M 
[ ]isl-0.21.tar.bz22019-03-26 19:58 1.7M 
[ ]isl-0.21.tar.gz2019-03-26 19:58 2.1M 
[ ]isl-0.21.tar.xz2019-03-26 19:58 1.5M 
[ ]isl-0.22.1.tar.bz22020-01-16 23:54 1.8M 
[ ]isl-0.22.1.tar.gz2020-01-16 23:54 2.1M 
[ ]isl-0.22.1.tar.xz2020-01-16 23:54 1.6M 
[ ]isl-0.22.tar.bz22019-11-09 10:54 1.8M 
[ ]isl-0.22.tar.gz2019-11-09 10:54 2.1M 
[ ]isl-0.22.tar.xz2019-11-09 10:54 1.6M 
[ ]isl-0.23.tar.bz22020-11-11 16:25 2.0M 
[ ]isl-0.23.tar.gz2020-11-11 16:25 2.5M 
[ ]isl-0.23.tar.xz2020-11-11 16:25 1.6M 
[ ]isl-0.24.tar.bz22021-05-01 18:23 2.2M 
[ ]isl-0.24.tar.gz2021-05-01 18:23 2.6M 
[ ]isl-0.24.tar.xz2021-05-01 18:23 1.8M 
[ ]manual.pdf2021-05-01 18:23 506K 
[TXT]user.html2021-05-01 18:23 578K 
+
Apache/2.4.10 (Debian) Server at isl.gforge.inria.fr Port 80
+