[m-rev.] for review: setting the reserve stack size on Windows

[Julien Fischer]

On Wed, Apr 10, 2013 at 2:23 PM, Paul Bone <paul at bone.id.au> wrote:
> On Wed, Apr 10, 2013 at 01:36:28PM +1000, Julien Fischer wrote:
>> For review by anyone.
>>
>> Add an option for controlling the C stack size on Windows.
>>
>> Add a new option, --cstack-reserve-size, that specifies the amount of virtual
>> memory that should be reserved for the stack in executables on Windows systems.
>> This is useful for non-trivial programs that use the high-level C backend since
>> they often bump into the default 1Mb limit.
>>
>> compiler/options.m::
>>       Add the new option.
>>
>> compiler/compile_target_code.m:
>>       Pass the appropriate flags to the linker if the new option is given.
>>
>> NEWS:
>>       Announce the new option.
>>
>
> I see that we don't override the default.  This means that a such a program
> will crash anyway, and the user still has to go and find this option.  I
> think that it is reasonable to also increase the default C stack size so that
> it is less likely that a user will have this error.

Wait until this change has bootstrapped ....

> The default value should
> also appear in the help message and users' guide.

I think that depends on the version of Windows you are using.

> You did not mention the changes to the users guide in the summary.

Fixed.

Cheers,
Julien.