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

[Paul Bone]

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.  The default value should
also appear in the help message and users' guide.

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

Thanks.


-- 
Paul Bone
http://www.bone.id.au