From: Michael Tremer <michael.tremer@ipfire.org>
Date: Tue, 29 Dec 2015 19:27:05 +0000 (+0100)
Subject: ppl: Drop package
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=28a59f8dd5db6aeef4bb2090749f2d1584d637fb;p=ipfire-3.x.git

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
index f9c53d89d..000000000
--- 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