> < ^ Date: Wed, 27 Sep 2000 12:48:27 +1000 (EST)
> < ^ From: Greg Gamble <greg.gamble@math.rwth-aachen.de >
> < ^ Subject: Re: bugfix #5 for GAP4.2

GAP Forum

On Tue, 26 Sep 2000, Jeremy Rickard wrote:

Willem de Graaf <wdg@dcs.st-and.ac.uk> writes:

This is to announce bugfix number 5 for GAP 4.2. The priority of this fix
is high.

Unpack the file in the home directory of your GAP distribution (the
directory containing the `lib' and `grp' directories) using `unzoo -x
fix4r2n5.zoo'. `unzoo' may ask you for permissions to overwrite files,
answer this with Y)es or A)ll. This will replace the erroneous files by
fixed versions.

This fix changes the kernel. You have to recompile by calling `make' in the
directory in which you unpacked the fix.

I did this (under Linux), and I'm pretty sure that the identical thing
worked fine with previous bugfixes (and I'm sure I've applied all the
previous bugfixes, but I got an error when I recompiled. Probably I've
just dome something stupid, but does anybody have any idea what?
Output reproduced below:

root$ unzoo -x fix4r2n5.zoo
description5 -- extracted as binary
'doc/htm/index.htm' exists, overwrite it? (Yes/No/All/Ren): a

... files unzooing ...

root$ make

Residue from your last make is no doubt upsetting things. Do:

make clean

That should do it ... worked fine for me.

Greg Gamble

> < [top]