diff options
Diffstat (limited to 'build-data/platforms.mk')
| -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 196a674d628..45bd3a1b8a1 100644 --- a/build-data/platforms.mk +++ b/build-data/platforms.mk @@ -78,6 +78,10 @@ install-deb: $(patsubst %,%-find-source,$(ROOT_PACKAGES)) : dev package needs a couple of additions ; \ echo ../$(INSTALL_PREFIX)$(ARCH)/vpp/bin/vppapigen /usr/bin \ >> deb/debian/vpp-dev.install ; \ + echo ../$(INSTALL_PREFIX)$(ARCH)/vpp/share/vpp/C.py /usr/share/vpp \ + >> deb/debian/vpp-dev.install ; \ + echo ../$(INSTALL_PREFIX)$(ARCH)/vpp/share/vpp/JSON.py /usr/share/vpp \ + >> deb/debian/vpp-dev.install ; \ echo ../../src/vpp-api/java/jvpp/gen/jvpp_gen.py /usr/bin \ >> deb/debian/vpp-dev.install ; \ for i in $$(ls ../src/vpp-api/java/jvpp/gen/jvppgen/*.py); do \ |