From 376124921495812aea6e614fce0ddfe8ad1b4466 Mon Sep 17 00:00:00 2001 From: Kevin Mihelich Date: Thu, 14 Nov 2019 13:58:10 +0000 Subject: [PATCH] community/gnuradio to 3.8.0.0-5 --- community/gnuradio/PKGBUILD | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/community/gnuradio/PKGBUILD b/community/gnuradio/PKGBUILD index 60f65ac5d..2ded1d84e 100644 --- a/community/gnuradio/PKGBUILD +++ b/community/gnuradio/PKGBUILD @@ -8,7 +8,7 @@ pkgbase=gnuradio pkgname=(gnuradio gnuradio-companion) pkgver=3.8.0.0 -pkgrel=3 +pkgrel=5 pkgdesc="General purpose DSP and SDR toolkit. With drivers for usrp and fcd." arch=('x86_64') url="https://gnuradio.org" @@ -58,9 +58,9 @@ build() { cd build cmake \ -DPYTHON_EXECUTABLE=$(which python3) \ - -DPYTHON_INCLUDE_DIR=$(echo /usr/include/python3*) \ - -DPYTHON_LIBRARY=$(echo /usr/lib/libpython3.*m.so) \ - -DGR_PYTHON_DIR=$(echo /usr/lib/python3.*/site-packages/) \ + -DPYTHON_INCLUDE_DIR=/usr/include/python3.8 \ + -DPYTHON_LIBRARY=/usr/lib/libpython3.8.so \ + -DGR_PYTHON_DIR=/usr/lib/python3.8/site-packages \ -DENABLE_INTERNAL_VOLK=OFF \ -DENABLE_GRC=ON \ -DENABLE_GR_QTGUI=ON \