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/packages/patchutils.scm | |
| parent | 01782ad00673e9f877f6932b1c228ec6bbdaa94f (diff) | |
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/packages/patchutils.scm')
0 files changed, 0 insertions, 0 deletions