Relay-Version: version B 2.10 5/3/83; site utzoo.UUCP
Posting-Version: version B 2.10.2 9/18/84; site brl-tgr.ARPA
Path: utzoo!watmath!clyde!burl!ulysses!allegra!mit-eddie!think!harvard!seismo!brl-tgr!tgr!gwyn@BRL.ARPA
From: gwyn@BRL.ARPA (VLD/VMB)
Newsgroups: net.lang.c
Subject: Re:  Need Pascal to C translator
Message-ID: <3507@brl-tgr.ARPA>
Date: Fri, 22-Nov-85 18:01:08 EST
Article-I.D.: brl-tgr.3507
Posted: Fri Nov 22 18:01:08 1985
Date-Received: Sun, 24-Nov-85 06:52:56 EST
Sender: news@brl-tgr.ARPA
Lines: 8

"Lint" does process several files at once and check inter-file
consistency.  "lint fooa.c foob.c fooc.c", for example.  Also,
you can make a "lint library" that contains interface declarations
(some versions of "lint" have more extensive support for this,
but all will support the simple approach using a trimmed-down
source file).  Then you can check individual modules against the
interface file without having to feed "lint" the entire batch of
C sources.  "lint fooa.c interface_specs.c", for example.