Re: [Discuss-gnuradio] buildit now supports --prefix

[Eric Blossom]

On Sat, Jul 09, 2005 at 12:53:55PM -0500, LRK wrote:
> On Fri, Jul 01, 2005 at 06:32:06PM -0700, Eric Blossom wrote:
> >
> > The buildit script now support a --prefix argument to make it easy to
> > do non-standard installs.
> 
> Is there any reason buildit could not call "gmake" rather than "make"?
> Apparently Linux uses gmake anyway but FreeBSD does not.

It should build using BSD "make".  If it doesn't please submit a bug
report providing details.  Preferably with a patch that fixes the
problem.  [Shouldn't be too hard, there's probably somewhere a
non-portable make feature slipped in.]

> Also it would be nice if --prefix used $GR_PREFIX as default if that 
> environment variable exists. Simpler for those of us installing gr as
> a user.

Noted.

You could of course just type

  ./for-all-dirs ../buildit -n --prefix=${GR_PREFIX:-/usr/local}


> And the --with-boost-include-dir error would go away if gr_boost.m4
> looked for /usr/local/include/boost as well as /usr/include/boost.
> This can be fixed with a link:  
>    ln -s /usr/local/include/boost /usr/include/boost
> but I see no reason gr_boost.m4 should not be able to find it on systems
> which install boost in /usr/local.

Noted.  Patches welcome.

> Also if I clean out gr and download a fresh CVS, gmake check fails. If I
> go to gnuradio-core and do "gmake install", it installs without errors.
> Then "gmake check" will run. Still looks like there is some issue with
> gmake check not finding all the necessary parts of the build it needs
> before installing is done.

More details please.  Including your platform, OS, output of configure
and make.  Also, before running the test, be sure to remove anything
that may have been installed by a previous run.

  $ make uninstall


A couple of meta-comments are in order:

  I don't have easy access to every platform in the world.  
  I also don't have expert knowledge of every platform.
  I'd love to have GNU Radio running on as many platforms as possible.

  That said, the way GNU Radio will improve is if people contribute
  improvements.  I appreciate the problem reports, and there are times
  when I'm probably the right person to fix the problem.  On the other
  hand, the more people working on improvements, the faster it will go.

  I'm definitely available to answer questions, offer suggestions, etc.


Eric