1 | Summary: Integer point manipulation library |
---|
2 | Name: isl |
---|
3 | Version: 0.16.1 |
---|
4 | License: MIT |
---|
5 | Group: System Environment/Libraries |
---|
6 | URL: http://isl.gforge.inria.fr/ |
---|
7 | |
---|
8 | %global libmajor 15 |
---|
9 | %global libversion %{libmajor}.1.1 |
---|
10 | |
---|
11 | %global oldversion 0.14.1 |
---|
12 | %global oldlibmajor 13 |
---|
13 | %global oldlibversion %{oldlibmajor}.1.1 |
---|
14 | |
---|
15 | # Please set buildid below when building a private version of this rpm to |
---|
16 | # differentiate it from the stock rpm. |
---|
17 | # |
---|
18 | # % global buildid .local |
---|
19 | |
---|
20 | Release: 1%{?_dist_release} |
---|
21 | |
---|
22 | BuildRequires: gmp-devel |
---|
23 | BuildRequires: pkgconfig |
---|
24 | |
---|
25 | Source0: http://isl.gforge.inria.fr/isl-%{version}.tar.xz |
---|
26 | |
---|
27 | # Current gcc requires exactly 0.14.1 |
---|
28 | Source1: http://isl.gforge.inria.fr/isl-%{oldversion}.tar.xz |
---|
29 | |
---|
30 | BuildRoot: %{_tmppath}/%{name}-%{version}-root |
---|
31 | |
---|
32 | Vendor: Project Vine |
---|
33 | Distribution: Vine Linux |
---|
34 | |
---|
35 | %description |
---|
36 | isl is a library for manipulating sets and relations of integer points |
---|
37 | bounded by linear constraints. Supported operations on sets include |
---|
38 | intersection, union, set difference, emptiness check, convex hull, |
---|
39 | (integer) affine hull, integer projection, computing the lexicographic |
---|
40 | minimum using parametric integer programming, coalescing and parametric |
---|
41 | vertex enumeration. It also includes an ILP solver based on generalized |
---|
42 | basis reduction, transitive closures on maps (which may encode infinite |
---|
43 | graphs), dependence analysis and bounds on piecewise step-polynomials. |
---|
44 | |
---|
45 | %package devel |
---|
46 | Summary: Development for building integer point manipulation library |
---|
47 | Requires: isl == %{version}-%{release} |
---|
48 | Requires: gmp-devel |
---|
49 | Group: Development/Libraries |
---|
50 | |
---|
51 | %description devel |
---|
52 | isl is a library for manipulating sets and relations of integer points |
---|
53 | bounded by linear constraints. Supported operations on sets include |
---|
54 | intersection, union, set difference, emptiness check, convex hull, |
---|
55 | (integer) affine hull, integer projection, computing the lexicographic |
---|
56 | minimum using parametric integer programming, coalescing and parametric |
---|
57 | vertex enumeration. It also includes an ILP solver based on generalized |
---|
58 | basis reduction, transitive closures on maps (which may encode infinite |
---|
59 | graphs), dependence analysis and bounds on piecewise step-polynomials. |
---|
60 | |
---|
61 | %prep |
---|
62 | %global docdir isl-%{version} |
---|
63 | %setup -a 1 -q -n isl -c |
---|
64 | |
---|
65 | %build |
---|
66 | cd isl-%{oldversion} |
---|
67 | %configure |
---|
68 | make %{?_smp_mflags} V=1 |
---|
69 | cd .. |
---|
70 | |
---|
71 | cd isl-%{version} |
---|
72 | %configure |
---|
73 | make %{?_smp_mflags} V=1 |
---|
74 | |
---|
75 | %install |
---|
76 | cd isl-%{oldversion} |
---|
77 | %make_install INSTALL="install -p" install-libLTLIBRARIES |
---|
78 | cd .. |
---|
79 | |
---|
80 | cd isl-%{version} |
---|
81 | %make_install INSTALL="install -p" |
---|
82 | rm -f %{buildroot}/%{_libdir}/libisl.a |
---|
83 | rm -f %{buildroot}/%{_libdir}/libisl.la |
---|
84 | mkdir -p %{buildroot}/%{_datadir} |
---|
85 | %global gdbprettydir %{_datadir}/gdb/auto-load/%{_libdir} |
---|
86 | mkdir -p %{buildroot}/%{gdbprettydir} |
---|
87 | mv %{buildroot}/%{_libdir}/*-gdb.py* %{buildroot}/%{gdbprettydir} |
---|
88 | |
---|
89 | %check |
---|
90 | cd isl-%{oldversion} |
---|
91 | #make check |
---|
92 | cd .. |
---|
93 | |
---|
94 | cd isl-%{version} |
---|
95 | #make check |
---|
96 | |
---|
97 | %post -p /sbin/ldconfig |
---|
98 | %postun -p /sbin/ldconfig |
---|
99 | |
---|
100 | %files |
---|
101 | %{_libdir}/libisl.so.%{libmajor} |
---|
102 | %{_libdir}/libisl.so.%{libversion} |
---|
103 | %{_libdir}/libisl.so.%{oldlibmajor} |
---|
104 | %{_libdir}/libisl.so.%{oldlibversion} |
---|
105 | %{gdbprettydir}/* |
---|
106 | %license %{docdir}/LICENSE |
---|
107 | %doc %{docdir}/AUTHORS %{docdir}/ChangeLog %{docdir}/README |
---|
108 | |
---|
109 | %files devel |
---|
110 | %{_includedir}/* |
---|
111 | %{_libdir}/libisl.so |
---|
112 | %{_libdir}/pkgconfig/isl.pc |
---|
113 | %doc doc/manual.pdf |
---|
114 | |
---|
115 | |
---|
116 | %changelog |
---|
117 | * Sun Jan 20 2019 Tomohiro "Tomo-p" KATO <tomop@teamgedoh.net> 0.16.1-1 |
---|
118 | - new upstream rekease. |
---|
119 | |
---|
120 | * Sat Jun 25 2016 Yoji TOYODA <bsyamato@sea.plala.or.jp> 0.14.1-1 |
---|
121 | - initial build for Vine Linux |
---|
122 | |
---|
123 | |
---|
124 | * Wed Jun 17 2015 Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 0.14-4 |
---|
125 | - Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild |
---|
126 | |
---|
127 | * Mon Jan 5 2015 David Howells <dhowells@redhat.com> - 0.14-3 |
---|
128 | - Initial packaging. |
---|