Package: gnuradio Version: 3.8.0.0-5 Severity: important Tags: patch User: ubuntu-de...@lists.ubuntu.com Usertags: origin-ubuntu focal ubuntu-patch
Hi Maitland, In Ubuntu, I found that the gr-hpsdr package was failing to rebuild against new gnuradio, because it includes gnuradio/block.h and this header in turn requires gmpxx.h, but gnuradio-dev does not depend on libgmp-dev. The attached patch fixes this build failure for me. Please consider applying it in Debian. Thanks, -- Steve Langasek Give me a lever long enough and a Free OS Debian Developer to set it on, and I can move the world. Ubuntu Developer https://www.debian.org/ slanga...@ubuntu.com vor...@debian.org
diff -Nru gnuradio-3.8.0.0/debian/control gnuradio-3.8.0.0/debian/control --- gnuradio-3.8.0.0/debian/control 2019-08-30 17:21:31.000000000 -0700 +++ gnuradio-3.8.0.0/debian/control 2019-11-01 14:02:48.000000000 -0700 @@ -148,6 +148,7 @@ libboost-thread-dev, libcppunit-dev, libfftw3-dev, + libgmp-dev, libgsm1-dev, liblog4cpp5-dev, libvolk2-dev,