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