1 files changed, 59 insertions, 0 deletions
diff --git a/packaging/isl.spec b/packaging/isl.spec
new file mode 100644
index 00000000..50a4ad6b
--- /dev/null
+++ b/packaging/isl.spec
@@ -0,0 +1,59 @@
+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