[prev in list] [next in list] [prev in thread] [next in thread] 

List:       gmp-bugs
Subject:    [Win32] Cannot 'make speed' in the 'tune' folder
From:       sisyphus1 () optusnet ! com ! au (sisyphus1 at optusnet ! com ! au)
Date:       2015-12-31 13:53:24
Message-ID: 1AC714C6F70645C6915DBD8AC4EAEDD3 () OwnerPC311012
[Download RAW message or body]

-----Original Message----- 
From: "Torbj?rn" Granlund
Sent: Thursday, December 31, 2015 8:48 PM
To: sisyphus1 at optusnet.com.au
Cc: gmp-bugs at gmplib.org
Subject: Re: [Win32] Cannot 'make speed' in the 'tune' folder

>>  Could this information be provided in the documentation, please ?
>>
>>  For example, there's no mention of this at:
>> 
>> https://gmplib.org/manual/Performance-optimization.html#Performance-optimization
>
> I am not sure such documentation would help: I expect people to notice 
> (like you did) that things don't build in that folder before they'd hit 
> such documentation.

For me, the value of such documentation is that it would have alerted me 
(fairly early on) to the fact that investigating and reporting the failure 
was a waste of my (and your) time.

Cheers,
Rob



[prev in list] [next in list] [prev in thread] [next in thread]