[bug#46842] [PATCH] gnu: gnuradio: Updated to 3.9.0.0.

[Ludovic Courtès]

Ping!  :-)

Ludovic Courtès <ludo@gnu.org> skribis:

> Hi,
>
> João <jpsimas@gmail.com> skribis:
>
>>         (uri (string-append "https://www.gnuradio.org/releases/gnuradio/";
>>                             "gnuradio-" version ".tar.xz"))
>>         (sha256
>> -        (base32 "0aw55gf5549b0fz2qdi7vplcmaf92bj34h40s34b2ycnqasv900r"))
>> -       (modules '((guix build utils)))
>> -       (snippet
>> -        '(begin
>> -           ;; Delete bundled volk to use the shared one.
>> -           (delete-file-recursively "volk")
>> -           #t))))
>
> Could you confirm there’s no longer a bundled copy of volk or anything
> else?
>
>>         #:configure-flags
>>         '("-DENABLE_INTERNAL_VOLK=OFF")
>> +       #:tests? #false ;disable tests (some tests fail. gnuradio issue 
>> #3871)
>
> Could you (1) write the full URL of the issue, and (2) skip only
> selected tests instead of disabling tests wholesale?
>
> Bonus points if you write a ChangeLog-style commit log.  :-)
>
> Thanks in advance!
>
> Ludo’.