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/ > 2. install orc too ? > > _______________________________________________ > Discuss-gnuradio mailing list > Discuss-gnuradio@gnu.org [1] > https://lists.gnu.org/mailman/listinfo/discuss-gnuradio [2] Links: ------ [1] mailto:Discuss-gnuradio@gnu.org [2] https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
_______________________________________________ Discuss-gnuradio mailing list Discuss-gnuradio@gnu.org https://lists.gnu.org/mailman/listinfo/discuss-gnuradio
