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

[Ralph Becket]

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?
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------