--- /dev/null
+Name: isl
+Version: 0.12
+Release: 0
+License: MIT
+Summary: Integer Set Library
+Url: http://www.kotnet.org/~skimo/isl/
+Group: Development/Toolchain
+Source: isl-%{version}.tar.bz2
+BuildRequires: gmp-devel
+
+%description
+ISL is a library for manipulating sets and relations of integer points
+bounded by linear constraints.
+It is used by Cloog and the GCC Graphite optimization framework.
+
+%package devel
+Summary: Development tools for ISL
+Requires: libisl = %{version}
+
+%description devel
+Development tools and headers for the ISL.
+
+%package -n libisl
+Summary: The ISL shared library
+
+%description -n libisl
+The shared library for the ISL.
+
+%prep
+%setup -q
+
+%build
+%autogen
+%configure
+make %{?_smp_mflags}
+
+%check
+make %{?_smp_mflags} check
+
+%install
+%make_install
+rm -f %{buildroot}%{_libdir}/libisl.so.*-gdb.py
+
+%post -n libisl -p /sbin/ldconfig
+
+%postun -n libisl -p /sbin/ldconfig
+
+%files -n libisl
+%defattr(-,root,root,-)
+%license LICENSE
+%{_libdir}/libisl.so.*
+
+%files devel
+%defattr(-,root,root,-)
+%{_includedir}/isl
+%{_libdir}/libisl.so
+%{_libdir}/pkgconfig/*.pc
+
+%changelog