Hi,

build-gnuradio does not yet support debians latest stable version 7.2, 
although it builds nicely.

I attached a patch, it just adds 7.2 to the debian_version switch in line 588.

regards,
Clemens
--- build-gnuradio.orig	2013-11-14 22:55:11.536081955 +0100
+++ build-gnuradio	2013-11-14 22:55:50.728275463 +0100
@@ -585,7 +585,7 @@
 		sudo apt-get -y purge 'libgnuradio*' >>$LOGDEV 2>&1
 		sudo apt-get -y purge 'python-gnuradio*' >>$LOGDEV 2>&1
 		case `cat /etc/debian_version` in
-		*6.0*|*wheezy*|*sid*|*7.1*|*7.0*)
+		*6.0*|*wheezy*|*sid*|*7.2*|*7.1*|*7.0*)
 			PKGLIST="libfontconfig1-dev libxrender-dev libpulse-dev swig g++
 			automake autoconf libtool python-dev libfftw3-dev
 			libcppunit-dev libboost-all-dev libusb-dev libusb-1.0-0-dev fort77

Attachment: signature.asc
Description: This is a digitally signed message part.

_______________________________________________
Discuss-gnuradio mailing list
Discuss-gnuradio@gnu.org
https://lists.gnu.org/mailman/listinfo/discuss-gnuradio

Reply via email to