On Thu, 13 Apr 2017 10:49:39 +0200 Jacob Sparre Andersen <[email protected]> wrote:
> > I think this is a problem specific to your installation. > > I copied the source from your example, and it seems to work fine in my > Sid chroot: % gnatmake -gnata -gnato -fstack-check -gnat12 -gnatyO -gnatv -gnati1 > -gnatf -gnatn -m test_tree.adb > gcc-6 -c -gnata -gnato -fstack-check -gnat12 -gnatyO -gnatv -gnati1 > -gnatf -gnatn test_tree.adb > > GNAT 6.3.0 20170406 > Copyright 1992-2016, Free Software Foundation, Inc. > > Compiling: test_tree.adb > Source file time stamp: 2017-04-13 08:43:09 > Compiled at: 2017-04-13 10:47:11 > 14 lines: No errors > gnatbind-6 -x test_tree.ali > gnatlink-6 test_tree.ali -fstack-check > % ./test_tree > % echo $? > 0 Curiouser and curiouser. Now it works fine. I really must have broken something or overlooked something. Thanks. Mart
