[Win32] Cannot 'make speed' in the 'tune' folder

[sisyphus1 at optusnet.com.au]

-----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