[m-rev.] for review: install mercury with umask 022
Julien Fischer
juliensf at csse.unimelb.edu.au
Mon Sep 18 21:37:34 AEST 2006
On Mon, 18 Sep 2006, Mark Brown wrote:
> Hi all,
>
> I've been looking into the problems `mmc --make' has when trying to
> install libraries. One problem I've been seeing is that sometimes the
> libfoo.install target does nothing except run `ar' and `ln', even when
> the .c files (or even the .m files) have not yet been built. Running
> `touch *.m' seems to work around the problem.
>
> It looks like this is due to `--make' searching all library directories
> for generated files (such as .module_dep files) when figuring out the
> timestamps. If someone has accidentally installed a library similar to
> what you are trying to build, in the location where Mercury's standard
> library is installed, then the wrong timestamps may be calculated. The
> result is that mmc thinks it has already built some files that it hasn't.
>
> It appears to be very easy to accidentally install things over the existing
> standard library, in part because we install things in such a way that they
> are writeable by group mercury. Is there any reason we need the installed
> files to be group writeable?
One reason is that it's less of a hassle for us to modify things if
installations become broken in some way that requires a bit of manual
intervention.
Also, for those working on the deep profiler it's often necessary to
replace the installed mdprof_cgi script.
> If not, then I'll commit the following patch.
I have no objections, although I would still like to move all those who
aren't directly involved in Mercury development out of group mercury into
group g12 (despite whatever silly made up rules certain sysads have.)
Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list