Bill Hoffman wrote:
gga wrote:
[snippage]
Okay, no comments so far, so I logged it as a bug -- see bug #5156.
So, I guess it depends on the UNIX system you are using...
Possibly. On Linux (at least in my experience) it is definitely expected
that /usr/local overrides /usr.
Say on Solaris or HPUX I would expect /usr to come before /usr/local,
at least for the system compiler.
Really? That surprises me, but I'll take your word for it.
It seems a bit dangerous
to have a system that has different versions of things in /usr and
/usr/local, and to expect the /usr/local one to be picked first.
Again, in my experience that's normal. On Linux, packages are typically
installed in /usr, and source-built things traditionally go in
/usr/local. /usr/local is generally used for newer versions or versions
built specially for the box (as opposed to a generic distro-provided
package). IOW /usr/local generally has newer/better stuff that the
"stock" /usr.
--
Matthew
So, an astrophysicist, a quantum physicist, and an astrologer walk into
a bar...
_______________________________________________
CMake mailing list
CMake@cmake.org
http://www.cmake.org/mailman/listinfo/cmake
