[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Discuss-gnuradio] suggestions for improving build-gnuradio.sh

From: mleech
Subject: Re: [Discuss-gnuradio] suggestions for improving build-gnuradio.sh
Date: Thu, 22 Mar 2012 11:25:59 -0400
User-agent: Roundcube Webmail/0.5.1

There is almost never a good reason to install "stuff that didn't ship with the distrib" into /usr, and I can't think of a good one here. The concept of /usr/local/ has been around for a long time, and it's easy to make things work with /usr/local.


Yes, orc should get installed.  Anyone know the package names for Fedora and Ubuntu?  Volk was a relatively recent "must have" for Gnu Radio, so build-gnuradio didn't have it as a depend.


On Thu, 22 Mar 2012 15:18:25 +0000, naruto canada wrote:


I've two suggestions for improving build-gnuradio.sh :
1. prefix option to install into /usr instead of /usr/local/
2. install orc too ?

Discuss-gnuradio mailing list


reply via email to

[Prev in Thread] Current Thread [Next in Thread]