[m-dev.] diff: updates to debian/*

Tyson Dowd trd at cs.mu.OZ.AU
Tue Nov 2 18:39:24 AEDT 1999

On 02-Nov-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 01-Nov-1999, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> > Index: debian/rules
> ...
> > +PATH	    :=    $(PATH):/usr/local/mercury-DEV/bin:/home/tyson/install/bin
> Hmm, it seems like a bad idea to hard-code directory names like that.
> At least I think you ought to have a comment explaining why those
> directories need to be in the PATH, so that someone for whom /home/tyson
> has no meaning has a fighting chance of being able to build it.

I just intended that they modify the path to be their own.
In the latest version I've cleaned it up and added a variable you
can override.  The problem is that the build scripts sanitize your
path, so you need to re-introduce local install directories for

mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au

More information about the developers mailing list