Simon Marlow <[EMAIL PROTECTED]>
writes on 4.04 binary installation
>> [..]
>> ld: fatal: library -lgmp: not found
>> [..]
>> ld: fatal: File processing errors. No output written to ...
> Ok, looks like I need to remake these distributions with gmp libraries
> included.
But this will bring the gmp duplicate to most machines?
Maybe, insert into the installation manual the phrase about setting
$LibGmp value?
The user is asked to set $prefix. One could set $GmpLib as well ...
My question was caused by that this small adventure with GmpLib was
not expected, not documented.
------------------
Sergey Mechveliani
[EMAIL PROTECTED]