Re: /opt/octave_dev install prefix

[Mike Miller]

Abhinav Tripathi wrote:
> while trying to build the source on ubuntu 16.04, I get 2 warnings during
> 'sudo make install'  that "libinterp/***" was not installed in
> "/opt/octave_dev". Is this okay to continue? I did not get such warnings
> while compiling octave earlier.
> I used "/opt/octave_dev" as prefix.
> The make install succeeded and I can use octave without errors(as far as
> I can see).

On Fri, Sep 23, 2016 at 10:42:41 -0700, Rik wrote:
> I tried this on my Linux machine and it didn't give any errors.  Maybe
> there is just something weird with your local Linux configuration.  As long
> as 'make check' passes, we can probably ignore it.

Note it was "warnings", not "errors", and make install did succeed.

Abhinav, it's very helpful to paste the exact message for context. I
don't know for sure, but this may be a typical warning message from
libtool when installing shared libraries where the installation prefix
may have changed, see for example [1].

[1]: http://stackoverflow.com/q/32742418/384593

-- 
mike