Rick,

> I have a package which I wish to make available to students without their
> having knowledge of its contents.  I believe that a copy of the
> specification and a read-only copy of the .ALI file are all that need to be
> available on the LAN. (Q.1.: is this correct?)

For generic units you need the body too.

> My machine is a PC.  I am running GAP's GPL compiler.  (Q.2.: will the ALI
> be portable if a student is running a MAC or one of the Unicies?)

Not sure but I would avoid doing this anyway. At packaging time it is 
probably easier to pack the ali together with the library. If you build 
using the project facilities all of them are in the same directory.

Also look at the Externally_Built GNAT's project attribute.

Pascal.

-- 

--|------------------------------------------------------
--| Pascal Obry                           Team-Ada Member
--| 45, rue Gabriel Peri - 78114 Magny Les Hameaux FRANCE
--|------------------------------------------------------
--|    http://www.obry.net  -  http://v2p.fr.eu.org
--| "The best way to travel is by means of imagination"
--|
--| gpg --keyserver keys.gnupg.net --recv-key F949BD3B