1 ###############################################################################
2 # IPFire.org - An Open Source Firewall Solution #
3 # Copyright (C) - IPFire Development Team <info@ipfire.org> #
4 ###############################################################################
10 maintainer = Michael Tremer <michael.tremer@ipfire.org>
11 groups = Development/Libraries
12 url = http://www.cs.unipr.it/ppl/
14 summary = The Parma Polyhedra Library: a library of numerical abstractions.
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
27 applications using the PPL through its C and C++ interfaces.
30 source_dl = ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/
31 sources = %{thisapp}.tar.xz
40 configure_options += \
41 --enable-interfaces="c cxx" \
49 # Create compat symlink.
50 ln -s libppl.so.12 %{BUILDROOT}%{libdir}/libppl.so.9
57 package %{name}-compat
58 summary = Compat symlink for ppl-0.11.
60 This package pretends to ship libppl.so.9 for
61 compatibility reasons.
64 # Provide the old version.
65 if "%{lib}" == "lib64"
66 provides += libppl.so.9()(64bit)
68 provides += libppl.so.9
79 requires += gmp-devel >= 4.1.3
82 package %{name}-debuginfo