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
View this message in rfc822 format
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.