GNU bug report logs -
#46842
[PATCH] gnu: gnuradio: Updated to 3.9.0.0.
Previous Next
Reported by: João <jpsimas <at> gmail.com>
Date: Mon, 1 Mar 2021 05:01:02 UTC
Severity: normal
Tags: patch
Done: Guillaume Le Vaillant <glv <at> posteo.net>
Bug is archived. No further changes may be made.
Full log
Message #11 received at 46842 <at> debbugs.gnu.org (full text, mbox):
Ping! :-)
Ludovic Courtès <ludo <at> gnu.org> skribis:
> Hi,
>
> João <jpsimas <at> 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’.
This bug report was last modified 4 years and 140 days ago.
Previous Next
GNU bug tracking system
Copyright (C) 1999 Darren O. Benham,
1997,2003 nCipher Corporation Ltd,
1994-97 Ian Jackson.