[Ecls-list] Current HEAD hangs during compilation

[Gabriel Dos Reis]

On Sun, Jul 5, 2009 at 11:01 AM, Juan Jose
Garcia-Ripoll<juanjose.garciaripoll at googlemail.com> wrote:
> On Sun, Jul 5, 2009 at 5:53 PM, Gabriel Dos
> Reis<gdr at integrable-solutions.net> wrote:

> If you want to rebuild the sanest thing is to do "rm -rf build;
> ./configure ..." Any sort of partial cleaning will not help and it
> does not require less typing. A full rebuild on my laptop (ensuring I
> have GMP and the Boehm-Weiser gc installed) takes no more than 5
> minutes.

In that case 'make clean' should just wipe out the 'build' directory.

>
> Probably the most logical thing to do is to refuse compiling until the
> build directory has been deleted. Or we could ask the user whether
> they want it to be deleted by the configuration script.

Or just remove the directory :-)

(The more we ask the user, the more we insert uncomfortable barriers.)

-- Gaby