blob: 50a4ad6b18447ea9dbb1cb0c1965e9b414ea0991 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
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
|