From 74574228b0f63a3c8fd373321ed25f4d24308df0 Mon Sep 17 00:00:00 2001
From: Dave Barach <dave@barachs.net>
Date: Mon, 1 Feb 2016 12:05:52 -0500
Subject: Add a vpp-dpdk-dev package, enable plugins to use dpdk APIs directly

Change-Id: I69db06a0b5d5d556c2fd570ea0056bb59d7bc3d6
Signed-off-by: Dave Barach <dave@barachs.net>
---
 build-data/platforms.mk | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'build-data/platforms.mk')

diff --git a/build-data/platforms.mk b/build-data/platforms.mk
index 38f840e1d87..988be14b61d 100644
--- a/build-data/platforms.mk
+++ b/build-data/platforms.mk
@@ -36,6 +36,10 @@ install-deb: $(patsubst %,%-find-source,$(ROOT_PACKAGES))
 	./scripts/find-dev-contents $(INSTALL_PREFIX)$(ARCH)		\
 	 deb/debian/vpp-dev.install ;					\
 									\
+	: dpdk headers ;						\
+	./scripts/find-dpdk-contents $(INSTALL_PREFIX)$(ARCH)		\
+	 deb/debian/vpp-dpdk-dev.install ;				\
+									\
 	: bin package needs startup config ; 				\
 	echo ../../vpp/conf/startup.conf /etc/vpp 			\
 	   >> deb/debian/vpp.install ;					\
-- 
cgit 1.2.3-korg