Re: Compilation without implementation source
- From: Simon Wright <simon.j.wright@xxxxxxx>
- Date: Sun, 27 Jan 2008 17:25:50 +0000
"Jeffrey R. Carter" <spam.jrcarter.not@xxxxxxxxxxxxxx> writes:
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.
This is pretty close to what gnatmake will do if you give it a
'library' gpr.
I haven't been able to get it to elaborate a static library with
unnecessary sources hidden - and I haven't tried dynamic libraries
yet. Others will know more.
.
- References:
- Compilation without implementation source
- From: Gene
- Re: Compilation without implementation source
- From: Jeffrey R. Carter
- Compilation without implementation source
- Prev by Date: Re: Compilation without implementation source
- Next by Date: Default array base index
- Previous by thread: Re: Compilation without implementation source
- Next by thread: Re: Compilation without implementation source
- Index(es):
Relevant Pages
|
