Package: gnuradio
Version: 3.8.0.0-5
Severity: important
Tags: patch
User: [email protected]
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/
[email protected] [email protected]
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,
