Re: /opt/octave_dev install prefix

[Rik]

On 09/23/2016 11:50 AM, Mike Miller wrote:
> 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.
I was typing too quickly.  I had actually greped for "warning", not
"error", after using "make install |& tee tmpinstall.log"

--Rik