Suggestions for improving build-gnuradio.sh

GNU Radio
#1

hi

I’ve two suggestions for improving build-gnuradio.sh :

  1. prefix option to install into /usr instead of /usr/local/
  2. install orc too ?
#2

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:

hi

I’ve two suggestions for improving build-gnuradio.sh
:

  1. prefix option to install into /usr instead of /usr/local/

install orc too ?

Discuss-gnuradio mailing list

[email protected] [1]

https://lists.gnu.org/mailman/listinfo/discuss-gnuradio [2]

Links: