* Compiling only specification with gcc (GNAT)
@ 2002-06-24 19:17 David Rasmussen
2002-06-24 21:39 ` Stephen Leake
0 siblings, 1 reply; 3+ messages in thread
From: David Rasmussen @ 2002-06-24 19:17 UTC (permalink / raw)
Is there a way to "compile" an .ads file only with gcc 3.1 ? I want an
error if it isn't valid, and ok if it's ok.
/David
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Compiling only specification with gcc (GNAT)
2002-06-24 19:17 Compiling only specification with gcc (GNAT) David Rasmussen
@ 2002-06-24 21:39 ` Stephen Leake
2002-06-25 18:59 ` Simon Wright
0 siblings, 1 reply; 3+ messages in thread
From: Stephen Leake @ 2002-06-24 21:39 UTC (permalink / raw)
David Rasmussen <pinkfloydhomer@yahoo.com> writes:
> Is there a way to "compile" an .ads file only with gcc 3.1 ? I want an
> error if it isn't valid, and ok if it's ok.
gcc foo.ads
--
-- Stephe
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: Compiling only specification with gcc (GNAT)
2002-06-24 21:39 ` Stephen Leake
@ 2002-06-25 18:59 ` Simon Wright
0 siblings, 0 replies; 3+ messages in thread
From: Simon Wright @ 2002-06-25 18:59 UTC (permalink / raw)
Stephen Leake <stephen.a.leake.1@gsfc.nasa.gov> writes:
> David Rasmussen <pinkfloydhomer@yahoo.com> writes:
>
> > Is there a way to "compile" an .ads file only with gcc 3.1 ? I want an
> > error if it isn't valid, and ok if it's ok.
>
> gcc foo.ads
gcc -c foo.ads will fail if there should be a body
gcc -c -gnats foo.ads for just a syntax check
or even
gnatmake -c foo.ads
gnatmake -c -gnats foo.ads
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2002-06-25 18:59 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2002-06-24 19:17 Compiling only specification with gcc (GNAT) David Rasmussen
2002-06-24 21:39 ` Stephen Leake
2002-06-25 18:59 ` Simon Wright
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox