[m-rev.] diff: install .decldebug grade by default

Julien Fischer juliensf at cs.mu.OZ.AU
Wed Mar 23 13:15:56 AEDT 2005


On Wed, 23 Mar 2005, Ralph Becket wrote:

> Julien Fischer, Wednesday, 23 March 2005:
> >
> > Estimated hours taken: 0.5
> > Branches: main, release
> >
> > configure.in:
> > 	Install the .decldebug version of the library as well
> > 	as the .debug one by default.  The .decldebug grades
> > 	are now usefully different from the .debug grades
> > 	(the former are required in order to use subterm
> > 	dependency tracking).
>
> Is there any reason not to use .decldebug now?

As opposed to using .debug?

Julien.
--------------------------------------------------------------------------
mercury-reviews mailing list
post:  mercury-reviews at cs.mu.oz.au
administrative address: owner-mercury-reviews at cs.mu.oz.au
unsubscribe: Address: mercury-reviews-request at cs.mu.oz.au Message: unsubscribe
subscribe:   Address: mercury-reviews-request at cs.mu.oz.au Message: subscribe
--------------------------------------------------------------------------



More information about the reviews mailing list