]>
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 | |
7 | version = 0.12.2 | |
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 | ||
24 | source_dl += http://isl.gforge.inria.fr/ | |
25 | sources = %{thisapp}.tar.lzma | |
26 | ||
27 | build | |
28 | requires | |
29 | gmp-devel | |
30 | end | |
31 | ||
32 | test | |
33 | make check | |
34 | end | |
35 | ||
36 | install_cmds | |
37 | install -dm755 %{BUILDROOT}/usr/share/gdb/auto-load/%{libdir} | |
38 | mv -v %{BUILDROOT}%{libdir}/libisl.so.*-gdb.py \ | |
39 | %{BUILDROOT}%{datadir}/gdb/auto-load/%{libdir} | |
40 | end | |
41 | end | |
42 | ||
43 | packages | |
44 | package %{name} | |
45 | ||
46 | package %{name}-devel | |
47 | template DEVEL | |
48 | end | |
49 | ||
50 | package %{name}-debuginfo | |
51 | template DEBUGINFO | |
52 | end | |
53 | end |