diff options
| author |   Dave Barach <dave@barachs.net> | 2016-02-01 12:05:52 -0500 |
|---|---|---|
| committer | Dave Barach <dave@barachs.net> | 2016-02-01 12:06:04 -0500 |
| commit | 74574228b0f63a3c8fd373321ed25f4d24308df0 (patch) | |
| tree | 7876bc41a773b1a379c1b1835c4eb05a94a47d3e /build-data | |
| parent | 67ba3bed006c8fdaec5cbee897843d54cf2f538d (diff) | |
Add a vpp-dpdk-dev package, enable plugins to use dpdk APIs directly
Change-Id: I69db06a0b5d5d556c2fd570ea0056bb59d7bc3d6
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to 'build-data')
| -rw-r--r-- | build-data/platforms.mk | 4 |
1 files changed, 4 insertions, 0 deletions
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 ; \ |