add packagingHEADtizen_3.0_ivi_releasetizen_3.0.m2.a1_tv_releasetizen_3.0.m2.a1_mobile_releasetizen_3.0.m1_tv_releasetizen_3.0.m1_mobile_releasetizen_3.0.m14.3_ivi_releasetizen_3.0.m14.2_ivi_releasetizen_3.0.2014.q3_common_releasesubmit/tizen_mobile/20141120.000000submit/tizen_ivi_genivi/20140131.025758submit/tizen_common/20151026.085049submit/tizen_common/20151023.083358submit/tizen_base/20151223.111112submit/tizen_base/20151223.111111submit/tizen/20130912.090222submit/tizen/20130912.075913submit/tizen/20130708.121510ivi_oct_m2accepted/tizen/ivi/genivi/20140131.034853accepted/tizen/base/20151223.052310accepted/tizen/20130912.195944accepted/tizen/20130912.191842accepted/tizen/20130912.145655accepted/tizen/20130912.101317accepted/tizen/20130912.095831accepted/tizen/20130912.092203accepted/tizen/20130708.114640tizen_ivi_genivitizen_3.0_ivitizen_3.0.m1_tvtizen_3.0.m1_mobiletizen_3.0.m14.3_ivitizen_3.0.m14.2_ivitizen_3.0.2015.q2_commontizen_3.0.2015.q1_commontizen_3.0.2014.q4_commontizen_3.0.2014.q3_commontizenaccepted/tizen_wearableaccepted/tizen_tvaccepted/tizen_mobileaccepted/tizen_iviaccepted/tizen_genericaccepted/tizen_commonaccepted/tizen_3.0_iviaccepted/tizen_3.0.m14.3_iviaccepted/tizen_3.0.2014.q3_commonaccepted/tizen/ivi/stableaccepted/tizen/ivi/genivi

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