Re: GNAT's stack checking in Ubuntu 9.04 (and Shootout regex-dna)

[Georg Bauhaus <rm.tsoh.plus-bug.bauhaus@maps.futureapps.de>]

jonathan wrote:
> The first thing I tried worked rather well: I replaced
> 
>    Stack_Size : constant Positive := 2000;
> 
> with
> 
>    Stack_Size : constant Positive := 129;
> 
> in GNAT_spitbol.patterns.

Works here, too, thanks.  Worth a few seconds off 40.
While changing the library is not part of the game,
this is useful in general, I'd think, since the
comment next to Stack_Size invites us to adjust it to
fit a program's needs.

Another way of using modified copies of GNAT library
units seems to be to use -a ; GNAT then considers
the library unit in my source directory.  (There is
probably some risk when the options change from those
used for compiling the library, though.)