ppl: Update package to be built with the new version of the buildsystem.

diff --git a/pkgs/core/ppl/ppl.nm b/pkgs/core/ppl/ppl.nm
index a692b231397f9861b92bdbc990814b8ea208edae..28c03ebf5dfc0893aa3aa76940be200fa506c524 100644 (file)
--- a/pkgs/core/ppl/ppl.nm
+++ b/pkgs/core/ppl/ppl.nm
@@ -34,8 +34,7 @@ PKG_URL        = http://www.cs.unipr.it/ppl/
 PKG_LICENSE    = GPLv3+
 PKG_SUMMARY    = The Parma Polyhedra Library: a library of numerical abstractions.
 
-PKG_BUILD_DEPS+= autoconf automake m4
-PKG_DEPS      += gmp
+PKG_BUILD_DEPS+= autoconf automake gmp-devel m4
 
 define PKG_DESCRIPTION
        The Parma Polyhedra Library (PPL) is a library for the manipulation of \
@@ -53,6 +52,8 @@ endef
 
 PKG_TARBALL    = $(THISAPP).tar.gz
 
+PKG_PACKAGES  += $(PKG_NAME_REAL)-devel
+
 CONFIGURE_OPTIONS += \
        --enable-interfaces="c cxx" \
        --disable-debugging