Re: seperate keyword and seperate compilation with Gnat?

[michael@ifr.luftfahrt.uni-stuttgart.de (Michael Paus)]

dewar@cs.nyu.edu (Robert Dewar) wrote:

> 
> Even the compilation of type 2 units depends on some implementation
> characteristics of GNAT that might well not be true in the general case.
> 

Just an idea. If type 2 units could be compiled separately (and with
compiled I also mean code generation) into a separate object file, doesn't
that mean that the linker could then be smart enough to only include
the objects which are really needed by a program into the executable?

I made the experience that most linkers on UNIX systems can only link
whole object files but not single units from one file. This is a problem
if a big package is always compiled into one big object file although all
bodies of the procedures contained in the package are separate. Would separate
compilation solve this problem? If that's true it would be a very nice
side effect of separate compilation.

Michael

-- 
------------------------------------------------------------------------
--Dipl.-Ing. Michael Paus   (Member: Team Ada)
--University of Stuttgart, Inst. of Flight Mechanics and Flight Control
--Forststrasse 86, 70176 Stuttgart, Germany
--Phone: (+49) 711-121-1434  FAX: (+49) 711-634856
--Email: Michael.Paus@ifr.luftfahrt.uni-stuttgart.de (NeXT-Mail welcome)