more package renaming to satisfy soname matching requirement
[debian/gnuradio] / debian / gen-install-files.sh
index 4df7f022be6f384ac8f656adbaedeb9bd26b73f0..f4e1c7e1398db15ad608f19065f9b8691db0d0e4 100755 (executable)
@@ -42,8 +42,8 @@ $EXTRACT gnuradio-core/src/lib/swig/Makefile swiginclude_HEADERS >>$NAME
 echo usr/lib/libgnuradio-core.so >>$NAME
 echo usr/lib/pkgconfig/gnuradio-core.pc >>$NAME
 
-# libgnuradio-audio-alsa
-NAME=debian/libgnuradio-audio-alsa.install
+# libgnuradio-audio-alsa0
+NAME=debian/libgnuradio-audio-alsa0.install
 rm -f $NAME
 touch $NAME
 $EXTRACT gr-audio-alsa/src/Makefile lib_LTLIBRARIES >>$NAME
@@ -59,8 +59,8 @@ $EXTRACT gr-audio-alsa/src/Makefile grinclude_HEADERS >>$NAME
 echo usr/lib/libgnuradio-audio-alsa.so >>$NAME
 echo usr/lib/pkgconfig/gr-audio-alsa.pc >>$NAME
 
-# libgnuradio-qtgui
-NAME=debian/libgnuradio-qtgui.install
+# libgnuradio-qtgui0
+NAME=debian/libgnuradio-qtgui0.install
 rm -f $NAME
 touch $NAME
 $EXTRACT gr-qtgui/src/lib/Makefile lib_LTLIBRARIES >>$NAME
@@ -74,14 +74,14 @@ touch $NAME
 $EXTRACT gr-qtgui/src/lib/Makefile grinclude_HEADERS >>$NAME
 echo usr/lib/libgnuradio-qtgui.so >>$NAME
 
-# libgnuradio-usrp
-NAME=debian/libgnuradio-usrp.install
+# libgnuradio-usrp0
+NAME=debian/libgnuradio-usrp0.install
 rm -f $NAME
 touch $NAME
 $EXTRACT gr-usrp/src/Makefile lib_LTLIBRARIES >>$NAME
 $EXTRACT gr-usrp/src/Makefile lib_LTLIBRARIES | \
     sed -e 's/\.la$/.so.*/' >>$NAME
-echo usr/lib/pkgconfig/gnuradio-usrp.pc >> $NAME
+echo usr/lib/pkgconfig/gnuradio-usrp0.pc >> $NAME
 
 # libgnuradio-usrp-dev
 NAME=debian/libgnuradio-usrp-dev.install
@@ -90,14 +90,14 @@ touch $NAME
 $EXTRACT gr-usrp/src/Makefile grinclude_HEADERS >>$NAME
 echo usr/lib/libgnuradio-usrp.so >>$NAME
 
-# libgnuradio-usrp2
-NAME=debian/libgnuradio-usrp2.install
+# libgnuradio-usrp2-0
+NAME=debian/libgnuradio-usrp2-0.install
 rm -f $NAME
 touch $NAME
 $EXTRACT gr-usrp2/src/Makefile lib_LTLIBRARIES >>$NAME
 $EXTRACT gr-usrp2/src/Makefile lib_LTLIBRARIES | \
     sed -e 's/\.la$/.so.*/' >>$NAME
-echo usr/lib/pkgconfig/gnuradio-usrp2.pc >> $NAME
+echo usr/lib/pkgconfig/gnuradio-usrp2-0.pc >> $NAME
 
 # libgnuradio-usrp2-dev
 NAME=debian/libgnuradio-usrp2-dev.install