]>
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 MT |
6 | name = ppl |
7 | version = 0.11.2 | |
56063cff | 8 | release = 2 |
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 | ||
30 | source_dl = | |
31 | sources = %{thisapp}.tar.lzma | |
32 | ||
33 | build | |
34 | requires | |
35 | autoconf | |
36 | automake | |
37 | gcc-c++ | |
38 | gmp-devel | |
39 | m4 | |
40 | end | |
41 | ||
42 | configure_options += \ | |
43 | --enable-interfaces="c cxx" \ | |
44 | --disable-debugging | |
45 | ||
46 | PARALLELISMFLAGS = | |
47 | ||
48 | prepare_cmds | |
49 | cd %{DIR_APP} && autoreconf -f | |
50 | end | |
51 | ||
52 | test | |
53 | make check | |
54 | end | |
55 | end | |
56 | ||
57 | packages | |
58 | package %{name} | |
56063cff MT |
59 | |
60 | package %{name}-devel | |
61 | template DEVEL | |
62 | end | |
1f9bc2f0 MT |
63 | |
64 | package %{name}-debuginfo | |
65 | template DEBUGINFO | |
66 | end | |
802ea3af | 67 | end |