]>
Commit | Line | Data |
---|---|---|
f4734433 | 1 | ############################################################################### |
802ea3af MT |
2 | # IPFire.org - An Open Source Firewall Solution # |
3 | # Copyright (C) - IPFire Development Team <info@ipfire.org> # | |
f4734433 MT |
4 | ############################################################################### |
5 | ||
802ea3af | 6 | name = ppl |
ef85f136 | 7 | version = 1.0 |
73623c34 | 8 | release = 1.1 |
802ea3af MT |
9 | |
10 | maintainer = Michael Tremer <michael.tremer@ipfire.org> | |
11 | groups = Development/Libraries | |
12 | url = http://www.cs.unipr.it/ppl/ | |
13 | license = GPLv3+ | |
14 | summary = The Parma Polyhedra Library: a library of numerical abstractions. | |
15 | ||
16 | description | |
17 | The Parma Polyhedra Library (PPL) is a library for the manipulation of | |
18 | (not necessarily closed) convex polyhedra and other numerical | |
19 | abstractions. The applications of convex polyhedra include program | |
20 | analysis, optimized compilation, integer and combinatorial | |
21 | optimization and statistical data-editing. The Parma Polyhedra | |
22 | Library comes with several user friendly interfaces, is fully dynamic | |
23 | (available virtual memory is the only limitation to the dimension of | |
24 | anything), written in accordance to all the applicable standards, | |
25 | exception-safe, rather efficient, thoroughly documented, and free | |
26 | software. This package provides all what is necessary to run | |
f4734433 | 27 | applications using the PPL through its C and C++ interfaces. |
802ea3af MT |
28 | end |
29 | ||
ef85f136 MT |
30 | source_dl = ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/ |
31 | sources = %{thisapp}.tar.xz | |
802ea3af MT |
32 | |
33 | build | |
34 | requires | |
802ea3af | 35 | gcc-c++ |
ef85f136 MT |
36 | gmp-devel >= 4.1.3 |
37 | m4 >= 1.4.8 | |
802ea3af MT |
38 | end |
39 | ||
40 | configure_options += \ | |
41 | --enable-interfaces="c cxx" \ | |
42 | --disable-debugging | |
43 | ||
73623c34 MT |
44 | test |
45 | make check | |
46 | end | |
ef85f136 MT |
47 | |
48 | install_cmds | |
49 | # Create compat symlink. | |
50 | ln -s libppl.so.12 %{BUILDROOT}%{libdir}/libppl.so.9 | |
51 | end | |
802ea3af MT |
52 | end |
53 | ||
54 | packages | |
55 | package %{name} | |
56063cff | 56 | |
ef85f136 MT |
57 | package %{name}-compat |
58 | summary = Compat symlink for ppl-0.11. | |
59 | description | |
60 | This package pretends to ship libppl.so.9 for | |
61 | compatibility reasons. | |
62 | end | |
63 | ||
64 | # Provide the old version. | |
65 | if "%{lib}" == "lib64" | |
66 | provides += libppl.so.9()(64bit) | |
67 | else | |
68 | provides += libppl.so.9 | |
69 | end | |
70 | ||
71 | files | |
72 | %{libdir}/libppl.so.9 | |
73 | end | |
74 | end | |
75 | ||
56063cff MT |
76 | package %{name}-devel |
77 | template DEVEL | |
ef85f136 MT |
78 | |
79 | requires += gmp-devel >= 4.1.3 | |
56063cff | 80 | end |
1f9bc2f0 MT |
81 | |
82 | package %{name}-debuginfo | |
83 | template DEBUGINFO | |
84 | end | |
802ea3af | 85 | end |