packaging/isl.spec

   1 Name:           isl
   2 Version:        0.12
   3 Release:        0
   4 License:        MIT
   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
  10
  11 %description
  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.
  15
  16 %package devel
  17 Summary:        Development tools for ISL
  18 Requires:       libisl = %{version}
  19
  20 %description devel
  21 Development tools and headers for the ISL.
  22
  23 %package -n libisl
  24 Summary:        The ISL shared library
  25
  26 %description -n libisl
  27 The shared library for the ISL.
  28
  29 %prep
  30 %setup -q
  31
  32 %build
  33 %autogen
  34 %configure
  35 make %{?_smp_mflags}
  36
  37 %check
  38 make %{?_smp_mflags} check
  39
  40 %install
  41 %make_install
  42 rm -f %{buildroot}%{_libdir}/libisl.so.*-gdb.py
  43
  44 %post -n libisl -p /sbin/ldconfig
  45
  46 %postun -n libisl -p /sbin/ldconfig
  47
  48 %files -n libisl
  49 %defattr(-,root,root,-)
  50 %license LICENSE
  51 %{_libdir}/libisl.so.*
  52
  53 %files devel
  54 %defattr(-,root,root,-)
  55 %{_includedir}/isl
  56 %{_libdir}/libisl.so
  57 %{_libdir}/pkgconfig/*.pc
  58
  59 %changelog