]>
Commit | Line | Data |
---|---|---|
6a3ef4f4 MT |
1 | ############################################################################### |
2 | # IPFire.org - An Open Source Firewall Solution # | |
3 | # Copyright (C) - IPFire Development Team <info@ipfire.org> # | |
4 | ############################################################################### | |
5 | ||
6 | name = compat-isl | |
5039121d | 7 | version = 0.14.1 |
6a3ef4f4 MT |
8 | release = 1 |
9 | thisapp = isl-%{version} | |
10 | ||
11 | groups = System/Libraries | |
12 | url = http://isl.gforge.inria.fr/ | |
13 | license = MIT | |
14 | summary = Integer Set Library | |
15 | ||
16 | description | |
17 | isl is a library for manipulating sets and relations of integer points | |
18 | bounded by linear constraints. Supported operations on sets include | |
19 | intersection, union, set difference, emptiness check, convex hull, | |
20 | (integer) affine hull, integer projection, computing the lexicographic | |
21 | minimum using parametric integer programming, coalescing and parametric | |
22 | vertex enumeration. | |
23 | end | |
24 | ||
25 | source_dl += http://isl.gforge.inria.fr/ | |
5039121d | 26 | sources = %{thisapp}.tar.xz |
6a3ef4f4 MT |
27 | |
28 | build | |
29 | requires | |
30 | gmp-devel | |
31 | end | |
32 | ||
33 | test | |
34 | export LD_LIBRARY_PATH=$(pwd)/.libs | |
35 | make check | |
36 | end | |
37 | ||
38 | install | |
39 | # Install just the library and no headers. | |
40 | mkdir -pv %{BUILDROOT}%{libdir} | |
5039121d AM |
41 | install -m 644 .libs/libisl.so.13.1.1 %{BUILDROOT}%{libdir} |
42 | ln -svf libisl.so.13.1.1 %{BUILDROOT}%{libdir}/libisl.so.13 | |
6a3ef4f4 MT |
43 | end |
44 | end | |
45 | ||
46 | packages | |
47 | package %{name} | |
5039121d AM |
48 | provides |
49 | isl = %{thisver} | |
50 | end | |
51 | ||
52 | obsoletes | |
53 | isl <= %{thisver} | |
54 | end | |
55 | end | |
6a3ef4f4 MT |
56 | |
57 | package %{name}-debuginfo | |
58 | template DEBUGINFO | |
59 | end | |
60 | end |