[m-rev.] Fix configure deleting C files when no bootstrap compiler exists

[Simon Taylor]

On 08-Jan-2007, Keri Harris <keri at gentoo.org> wrote:
> The configure script will always check whether C files need to be rebuilt. 
> From configure.in:
> 
> 
> 3831	if test "$BOOTSTRAP_MC" = ""; then
> 3832		BOOTSTRAP_MC=mmc
> 3833	fi
> 
> 
> 4298	if test "$BOOTSTRAP_MC" != "" ; then
> 4299	    MERCURY_MSG("checking whether any C files need to be rebuilt...")
> ...
> 4331	    rm -f confscratch $to_delete
> 4332	fi
> 
> 
> This will cause problems if there is no Mercury compiler to bootstrap with.

I think the existing code does almost the right thing for the wrong
reason.  It would be better to abort rather than deleting the C files
if the settings are incompatible with the C files in the case where
there is no installed Mercury compiler.

Simon.
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to:       mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions:          mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------