commit 74574228b0f63a3c8fd373321ed25f4d24308df0
author Dave Barach <dave@barachs.net> Mon Feb 01 12:05:52 2016 -0500
committer Dave Barach <dave@barachs.net> Mon Feb 01 12:06:04 2016 -0500
tree 7876bc41a773b1a379c1b1835c4eb05a94a47d3e
parent 67ba3bed006c8fdaec5cbee897843d54cf2f538d

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

diff --git a/build-data/platforms.mk b/build-data/platforms.mk
index 38f840e..988be14 100644
--- a/build-data/platforms.mk
+++ b/build-data/platforms.mk
@@ -36,6 +36,10 @@
 	./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 ;					\