Rename libraries following ABI version rather than library version

Change-Id: I73e00edf4d7135e92d084d5748330ee7b3ab212d
Signed-off-by: Luca Boccassi <luca.boccassi@gmail.com>

diff --git a/debian/rules b/debian/rules
index 4d17188..d77bfd0 100644 (file)
--- a/debian/rules
+++ b/debian/rules
@@ -281,9 +281,9 @@ endif
          BN=$$(basename $${lib}); \
          LN=$$(echo $${BN} | sed -e 's/\.so\.[0-9\.]*$$//' | tr '_' '-'); \
          if echo $${LN} | grep -q ".*[0-9]$$"; then \
-           PKG=$${LN}-$(VERSION); \
+           PKG=$${LN}-$(DPDK_ABI); \
          else \
-           PKG=$${LN}$(VERSION); \
+           PKG=$${LN}$(DPDK_ABI); \
          fi; \
          LIBF="$$(basename $${lib})"; \
          LIBD="debian/$${PKG}/$(LIBDIR)"; \