From: "Jeffrey R. Carter" <spam.jrcarter.not@acm.nospam.org>
Subject: Re: Compilation without implementation source
Date: Sun, 27 Jan 2008 17:04:49 GMT
Date: 2008-01-27T17:04:49+00:00 [thread overview]
Message-ID: <RQ2nj.4030$9j6.456@attbi_s22> (raw)
In-Reply-To: <43c33a30-8f1e-43a1-b84a-a22c4a37248a@v29g2000hsf.googlegroups.com>
Gene wrote:
> For an educational exercise using GNAT and gnatmake, I need to hide
> implementations of some modules from students in the simplest possible
> way.
>
> Is there a way to give them .ali, .ads, and .o files while withholding
> the corresponding .adb, somehow telling gnatmake (and gnatbind) to
> ignore the absence?
IIRC, if the .ali files are read-only, GNAT will not require the source of the
bodies. This may not work for generics or other cases where the compilation has
a dependency on the body, such as cross-unit inlining.
--
Jeff Carter
"Whatever it is, I'm against it."
Horse Feathers
46
next prev parent reply other threads:[~2008-01-27 17:04 UTC|newest]
Thread overview: 6+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-01-27 3:34 Compilation without implementation source Gene
2008-01-27 17:04 ` Jeffrey R. Carter [this message]
2008-01-27 17:25 ` Simon Wright
2008-01-27 19:54 ` anon
2008-01-27 19:59 ` Pascal Obry
2008-01-28 4:58 ` Gene
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox