]>
Commit | Line | Data |
---|---|---|
95fff496 MT |
1 | ############################################################################### |
2 | # IPFire.org - An Open Source Firewall Solution # | |
3 | # Copyright (C) - IPFire Development Team <info@ipfire.org> # | |
4 | ############################################################################### | |
5 | ||
6 | name = isl | |
d30a57d3 | 7 | version = 0.25 |
95fff496 MT |
8 | release = 1 |
9 | ||
10 | groups = System/Libraries | |
11 | url = http://isl.gforge.inria.fr/ | |
12 | license = MIT | |
13 | summary = Integer Set Library | |
14 | ||
15 | description | |
16 | isl is a library for manipulating sets and relations of integer points | |
17 | bounded by linear constraints. Supported operations on sets include | |
18 | intersection, union, set difference, emptiness check, convex hull, | |
19 | (integer) affine hull, integer projection, computing the lexicographic | |
20 | minimum using parametric integer programming, coalescing and parametric | |
21 | vertex enumeration. | |
22 | end | |
23 | ||
d30a57d3 | 24 | source_dl += https://sourceforge.net/projects/libisl/files/ |
cf4b3e07 | 25 | sources = %{thisapp}.tar.xz |
95fff496 MT |
26 | |
27 | build | |
28 | requires | |
29 | gmp-devel | |
30 | end | |
31 | ||
32 | test | |
cf4b3e07 | 33 | export LD_LIBRARY_PATH=$(pwd)/.libs |
95fff496 MT |
34 | make check |
35 | end | |
36 | ||
37 | install_cmds | |
38 | install -dm755 %{BUILDROOT}/usr/share/gdb/auto-load/%{libdir} | |
39 | mv -v %{BUILDROOT}%{libdir}/libisl.so.*-gdb.py \ | |
40 | %{BUILDROOT}%{datadir}/gdb/auto-load/%{libdir} | |
41 | end | |
42 | end | |
43 | ||
44 | packages | |
45 | package %{name} | |
46 | ||
47 | package %{name}-devel | |
48 | template DEVEL | |
49 | end | |
50 | ||
51 | package %{name}-debuginfo | |
52 | template DEBUGINFO | |
53 | end | |
54 | end |