Open MPI logo

Open MPI Development Mailing List Archives

  |   Home   |   Support   |   FAQ   |   all Development mailing list

Subject: Re: [OMPI devel] v1.7.5rc1 posted
From: Jeff Squyres (jsquyres) (jsquyres_at_[hidden])
Date: 2014-03-03 10:33:59


On Mar 2, 2014, at 8:29 PM, Orion Poplawski <orion_at_[hidden]> wrote:

> We're not honoring DESTDIR here:
>
> make install-data-hook
> make[6]: Entering directory
> `/builddir/build/BUILD/openmpi-1.7.5rc1/ompi/mpi/java/java'
> /usr/bin/mkdir -p /usr/lib64/openmpi/share/doc/openmpi/javadoc
> /usr/bin/mkdir: cannot create directory '/usr/lib64/openmpi': Permission
> denied
> cp -rp doc/* /usr/lib64/openmpi/share/doc/openmpi/javadoc
> make[6]: [jdoc-install] Error 1 (ignored)

Ouch!

My mistake; thanks for catching that -- I'll fix.

-- 
Jeff Squyres
jsquyres_at_[hidden]
For corporate legal information go to: http://www.cisco.com/web/about/doing_business/legal/cri/