5 Summary: Integer Set Library
6 Url: http://www.kotnet.org/~skimo/isl/
7 Group: Development/Toolchain
8 Source: isl-%{version}.tar.bz2
9 BuildRequires: gmp-devel
12 ISL is a library for manipulating sets and relations of integer points
13 bounded by linear constraints.
14 It is used by Cloog and the GCC Graphite optimization framework.
17 Summary: Development tools for ISL
18 Requires: libisl = %{version}
21 Development tools and headers for the ISL.
24 Summary: The ISL shared library
26 %description -n libisl
27 The shared library for the ISL.
38 make %{?_smp_mflags} check
42 rm -f %{buildroot}%{_libdir}/libisl.so.*-gdb.py
44 %post -n libisl -p /sbin/ldconfig
46 %postun -n libisl -p /sbin/ldconfig
49 %defattr(-,root,root,-)
51 %{_libdir}/libisl.so.*
54 %defattr(-,root,root,-)
57 %{_libdir}/pkgconfig/*.pc