combining lint libraries

[David Roscoe]

I have a question about lint.

We have several object module libraries which we build from smaller libraries.
We do this because the modules in the smaller libraries are related,
but the application programs which use these libraries really don't care,
and it's easier to link them with few large libraries 
instead of a bunch of tiny ones.

We have a way of building a large object library from a bunch of small ones.
We use ar to extract the object modules (.o files)
from the several small libraries (libLIBRARY.a files)
and then combine them into the single larger library.

But we don't have an equivalent for the matching lint libraries 
(llib-LIBRARY.ln).  I am not sure there is a way.  

2 possibilities I thought of are:

	1. Discover a utility which can do extract and add functions
	for lint libraries the way the ar program 
	works for object libraries.

	2. Discover that lint libraries are concatenatable, then just use cat.
	I haven't been able to confirm or deny this based on available
	documentation.

Does anyone have any suggestions?

Thanks in advance for any help.