ppl: Drop package

This is not used by anything any more. It was
used with older versions of GCC.

Signed-off-by: Michael Tremer <michael.tremer@ipfire.org>

diff --git a/ppl/ppl.nm b/ppl/ppl.nm
deleted file mode 100644 (file)
index f9c53d8..0000000
--- a/ppl/ppl.nm
+++ /dev/null
@@ -1,85 +0,0 @@
-###############################################################################
-# IPFire.org    - An Open Source Firewall Solution                            #
-# Copyright (C) - IPFire Development Team <info@ipfire.org>                   #
-###############################################################################
-
-name       = ppl
-version    = 1.0
-release    = 1.1
-
-maintainer = Michael Tremer <michael.tremer@ipfire.org>
-groups     = Development/Libraries
-url        = http://www.cs.unipr.it/ppl/
-license    = GPLv3+
-summary    = The Parma Polyhedra Library: a library of numerical abstractions.
-
-description
-       The Parma Polyhedra Library (PPL) is a library for the manipulation of
-       (not necessarily closed) convex polyhedra and other numerical
-       abstractions.  The applications of convex polyhedra include program
-       analysis, optimized compilation, integer and combinatorial
-       optimization and statistical data-editing.  The Parma Polyhedra
-       Library comes with several user friendly interfaces, is fully dynamic
-       (available virtual memory is the only limitation to the dimension of
-       anything), written in accordance to all the applicable standards,
-       exception-safe, rather efficient, thoroughly documented, and free
-       software.  This package provides all what is necessary to run
-       applications using the PPL through its C and C++ interfaces.
-end
-
-source_dl  = ftp://ftp.cs.unipr.it/pub/ppl/releases/%{version}/
-sources    = %{thisapp}.tar.xz
-
-build
-       requires
-               gcc-c++
-               gmp-devel >= 4.1.3
-               m4 >= 1.4.8
-       end
-
-       configure_options += \
-               --enable-interfaces="c cxx" \
-               --disable-debugging
-
-       test
-               make check
-       end
-
-       install_cmds
-               # Create compat symlink.
-               ln -s libppl.so.12 %{BUILDROOT}%{libdir}/libppl.so.9
-       end
-end
-
-packages
-       package %{name}
-
-       package %{name}-compat
-               summary = Compat symlink for ppl-0.11.
-               description
-                       This package pretends to ship libppl.so.9 for
-                       compatibility reasons.
-               end
-
-               # Provide the old version.
-               if "%{lib}" == "lib64"
-                       provides += libppl.so.9()(64bit)
-               else
-                       provides += libppl.so.9
-               end
-
-               files
-                       %{libdir}/libppl.so.9
-               end
-       end
-
-       package %{name}-devel
-               template DEVEL
-
-               requires += gmp-devel >= 4.1.3
-       end
-
-       package %{name}-debuginfo
-               template DEBUGINFO
-       end
-end