diff options
author | Guillaume Le Vaillant <glv@posteo.net> | 2020-04-15 10:02:13 +0200 |
---|---|---|
committer | Guillaume Le Vaillant <glv@posteo.net> | 2020-04-15 10:20:53 +0200 |
commit | 8e1e86b0e27fcb620c1a9b9746383567b3018575 (patch) | |
tree | ae9012ec2c62b3c75acf55eed4d5ab3b29006fbd /gnu/build | |
parent | 01782ad00673e9f877f6932b1c228ec6bbdaa94f (diff) | |
download | guix-8e1e86b0e27fcb620c1a9b9746383567b3018575.tar guix-8e1e86b0e27fcb620c1a9b9746383567b3018575.tar.gz |
gnu: gnuradio: Use shared volk instead of bundled one.
* gnu/packages/radio.scm (gnuradio)[source]: Add snippet to delete bundled
volk.
[inputs]: Add volk.
[arguments]: Add "-DENABLE_INTERNAL_VOLK=OFF" to configure-flags.
Diffstat (limited to 'gnu/build')
0 files changed, 0 insertions, 0 deletions