Add a vpp-dpdk-dev package, enable plugins to use dpdk APIs directly

[vpp.git] / build-data / platforms.mk

diff --git a/build-data/platforms.mk b/build-data/platforms.mk
index 38f840e..988be14 100644 (file)
--- 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 ;                                  \