[m-dev.] Libraries Idea

[Ralph Becket]

I've had an idea about how mmake etc. might simplify the installation
and use of libraries.  Basically, the idea is to optionally make
library module compilation lazy.  The programmer would supply mmake
with a search path where various source and object files etc. could be
found.  If a required object (or whatever) file in one of these
directories is found to be out of date then the compiler would be
invoked *in that directory*.  Such a scheme would allow for on-demand
compilation of the standard library in the various grades rather than
requiring the marathon installfest that is the case at present.  It
would also greatly ease the process of getting the compiler to
recognise new libraries, and work in multiple grades.

Cheers,

Ralph
--------------------------------------------------------------------------
mercury-developers mailing list
Post messages to:       mercury-developers at cs.mu.oz.au
Administrative Queries: owner-mercury-developers at cs.mu.oz.au
Subscriptions:          mercury-developers-request at cs.mu.oz.au
--------------------------------------------------------------------------