On Tue, 26 Sep 2000, Jeremy Rickard wrote:
Willem de Graaf <firstname.lastname@example.org> writes:
This is to announce bugfix number 5 for GAP 4.2. The priority of this fix
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
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 ...
Residue from your last make is no doubt upsetting things. Do:
That should do it ... worked fine for me.