From: "björn lundin" <b.f.lundin@gmail.com>
Subject: Re: Runtime check : what about you ?
Date: Fri, 17 Jun 2011 13:13:53 -0700 (PDT)
Date: 2011-06-17T13:13:53-07:00 [thread overview]
Message-ID: <865a6226-4b67-4013-b828-6299f7c5163a@q17g2000vby.googlegroups.com> (raw)
In-Reply-To: wcck4ckxo4x.fsf@shell01.TheWorld.com
On 17 Juni, 21:18, Robert A Duff <bobd...@shell01.TheWorld.com> wrote:
> bj rn lundin <b.f.lun...@gmail.com> writes:
> > We use gnato and fstack-check
>
> What about -gnata?
That too. Like this. From a test implementation on Linux with
gpl_2010.
Seems I was wrong about fstack-check; I meant -funwind-tables.
But I think fstack-check was used before...
gcc -c -I./ -g -gnatwlaK -gnatvoU -gnat05 -O0 -funwind-tables -gnatwW -
gnatwR -I- -o /home/bnl/programming/svn_base/cl/std/sattmate/target/
adalib/global/stingray/wcs_process_log.o /home/bnl/programming/
svn_base/cl/std/sattmate/source/stingray/local/wcs_process/
wcs_process_log.adb
GNAT GPL 2010 (20100603)
Copyright 1992-2010, Free Software Foundation, Inc.
Compiling: /home/bnl/programming/svn_base/cl/std/sattmate/source/
stingray/local/wcs_process/wcs_process_log.adb (source file time
stamp: 2011-06-17 19:50:47)
52 lines: No errors
gnatbind -E -x /home/bnl/programming/svn_base/cl/std/sattmate/target/
adalib/global/stingray/wcs_process.ali
gnatlink /home/bnl/programming/svn_base/cl/std/sattmate/target/adalib/
global/stingray/wcs_process.ali -g /home/bnl/programming/svn_base/cl/
std/sattmate/source/kernel/utility/global/sattmate.a -L /usr/lib -lpq
next prev parent reply other threads:[~2011-06-17 20:13 UTC|newest]
Thread overview: 23+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-06-17 9:42 Runtime check : what about you ? Yannick Duchêne (Hibou57)
2011-06-17 9:56 ` Niklas Holsti
2011-06-17 10:06 ` Martin
2011-06-17 10:43 ` Simon Wright
2011-06-17 11:35 ` J-P. Rosen
2011-06-17 16:06 ` björn lundin
2011-06-17 19:18 ` Robert A Duff
2011-06-17 20:13 ` björn lundin [this message]
2011-06-17 20:34 ` Simon Wright
2011-06-17 17:53 ` Jeffrey Carter
2011-06-17 18:59 ` Adam Beneschan
2011-06-17 20:30 ` björn lundin
2011-06-18 0:19 ` Randy Brukardt
2011-06-18 0:26 ` Randy Brukardt
2011-06-18 3:08 ` tmoran
2011-06-18 7:16 ` J-P. Rosen
2011-06-18 8:04 ` Niklas Holsti
2011-06-17 20:12 ` Vinzent Hoefler
2011-06-17 20:12 ` Vinzent Hoefler
2011-06-18 0:15 ` Randy Brukardt
2011-06-18 0:29 ` Robert A Duff
2011-06-18 8:03 ` Dmitry A. Kazakov
2011-06-18 6:56 ` Dmitry A. Kazakov
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox