Processed: gr-hpsdr: ftbfs: fatal error: gmpxx.h: No such file or directory
Processing commands for control@bugs.debian.org:
> affects 943965 gr-hpsdr
Bug #943965 [gnuradio] gnuradio/block.h depends on gmpxx.h, but no dep on libgmp-dev
Added indication that 943965 affects gr-hpsdr
> unblock 925703 by 943965
Bug #925703 [src:gr-hpsdr] gr-hpsdr: ftbfs with GCC-9
925703 was blocked by: 943965
925703 was not blocking any bugs.
Removed blocking bug(s) of 925703: 943965
> severity 943965 serious
Bug #943965 [gnuradio] gnuradio/block.h depends on gmpxx.h, but no dep on libgmp-dev
Severity set to 'serious' from 'important'
> thanks
Stopping processing here.
Please contact me if you need assistance.
--
925703: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=925703
943965: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=943965
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
Reply to: