[m-dev.] for review: don't delete Mercury-generated C files unnecessarily

Mark Anthony BROWN dougl at cs.mu.OZ.AU
Tue May 11 16:26:45 AEST 1999

Zoltan Somogyi writes:
> For review by anyone.
> Estimated hours taken: 1
> configure.in:
> 	Do not blindly remove the Mercury generated C files in the compiler,
> 	library, browser and profiler directories if the results of the
> 	autoconfiguration do not match the standard source distribution's
> 	assumptions with respect to the number of tag bits and the use of
> 	unboxed floats. Instead, delete these C files only if the result
> 	of the autoconfiguration differ from the parameter settings that
> 	were used in creating those C files.
> Zoltan.

That looks OK.

Mark Brown  (dougl at cs.mu.oz.au)       )O+   |  For Microsoft to win,
MEngSc student,                             |  the customer must lose
Dept of Computer Science, Melbourne Uni     |          -- Eric S. Raymond
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