Re: Compilation without implementation source

[Simon Wright <simon.j.wright@mac.com>]

"Jeffrey R. Carter" <spam.jrcarter.not@acm.nospam.org> 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.