* 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