I plan to change the internal names in MPIR to avoid this. It won't
cause any issues for MPIR users as the names are only used internally.
Bill.
On 9 October 2012 09:24, Fredrik Johansson wrote:
> On Tue, Oct 9, 2012 at 10:02 AM, Jean-Pierre Flori wrote:
>>
>>
>> On Tuesday, October 9, 2012 8:2
On Tuesday, October 9, 2012 8:29:03 AM UTC+2, Fredrik Johansson wrote:
>
>
> I found that I could get the right versions by compiling code with
> -lflint -lmpir and not the other way around, but I'm not sure if this
> is reliable.
>
Just a remark.
As far as I understand, this is the correct or
On Tue, Oct 9, 2012 at 10:02 AM, Jean-Pierre Flori wrote:
>
>
> On Tuesday, October 9, 2012 8:29:03 AM UTC+2, Fredrik Johansson wrote:
>>
>>
>> I found that I could get the right versions by compiling code with
>> -lflint -lmpir and not the other way around, but I'm not sure if this
>> is reliable
