[m-dev.] for review: add contributions.html to web pages.

Tyson Dowd trd at cs.mu.OZ.AU
Fri Oct 15 15:30:23 AEST 1999


On 13-Oct-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> On 13-Oct-1999, Tyson Dowd <trd at cs.mu.OZ.AU> wrote:
> > 
> > Since someone sending code recently asked here's a page on contributing
> > code.
> 
> That looks good.  I have just a couple of comments (see below).
> 
> > We have a "contrib" directory on the FTP site where we can put
> > stuff if it doesn't really belong in mercury-extras.
> > 
> > My feeling is that mercury-extras should be for anything that is likely
> > to move into the main distribution, and contrib should be for anything
> > else.
> 
> Hmm... I'm not sure I agree with that criteria.  Extras was intended
> specifically for things which could not or should not go in the main
> distribution, for reasons of copyright, portability, stability,
> appealing only to a niche audience, etc.  I imagine that for many of
> the things there, there is no likelyhood that they will ever move into
> the main distribution.

Well my criteria is affect by the fact that extras is part of the 
main Mercury CVS directory and gets checked out every time someone
checks out a new workspace.  If people start adding 70 odd libraries
to this directory it's going to be a complete pain.  We should probably
discuss what to do about contributions in general.  

How about a Mercury meeting next week?

I'll fix the other problems.

-- 
       Tyson Dowd           # 
                            #  Surreal humour isn't eveyone's cup of fur.
     trd at cs.mu.oz.au        # 
http://www.cs.mu.oz.au/~trd #
--------------------------------------------------------------------------
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