From owner-freebsd-hackers  Mon Jul 29 13:03:07 1996
Return-Path: owner-hackers
Received: (from root@localhost)
          by freefall.freebsd.org (8.7.5/8.7.3) id NAA19025
          for hackers-outgoing; Mon, 29 Jul 1996 13:03:07 -0700 (PDT)
Received: from irz301.inf.tu-dresden.de (irz301.inf.tu-dresden.de [141.76.1.11])
          by freefall.freebsd.org (8.7.5/8.7.3) with SMTP id NAA18997
          for <freebsd-hackers@freebsd.org>; Mon, 29 Jul 1996 13:02:57 -0700 (PDT)
Received: from sax.sax.de by irz301.inf.tu-dresden.de (8.6.12/8.6.12-s1) with ESMTP id VAA08062; Mon, 29 Jul 1996 21:53:28 +0200
Received: (from uucp@localhost) by sax.sax.de (8.6.12/8.6.12-s1) with UUCP id VAA23390; Mon, 29 Jul 1996 21:53:28 +0200
Received: (from j@localhost) by uriah.heep.sax.de (8.7.5/8.6.9) id VAA03905; Mon, 29 Jul 1996 21:52:32 +0200 (MET DST)
From: J Wunsch <j@uriah.heep.sax.de>
Message-Id: <199607291952.VAA03905@uriah.heep.sax.de>
Subject: Re: Q: How to create lint libs?
To: freebsd-hackers@freebsd.org (FreeBSD hackers)
Date: Mon, 29 Jul 1996 21:52:32 +0200 (MET DST)
Cc: koshy@india.hp.com (A JOSEPH KOSHY)
Reply-To: joerg_wunsch@uriah.heep.sax.de (Joerg Wunsch)
In-Reply-To: <199607290844.AA225279874@fakir.india.hp.com> from A JOSEPH KOSHY at "Jul 29, 96 02:14:34 pm"
X-Phone: +49-351-2012 669
X-PGP-Fingerprint: DC 47 E6 E4 FF A6 E9 8F  93 21 E0 7D F9 12 D6 4E 
X-Mailer: ELM [version 2.4ME+ PL17 (25)]
MIME-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Sender: owner-hackers@freebsd.org
X-Loop: FreeBSD.org
Precedence: bulk

As A JOSEPH KOSHY wrote:

> I wasn't able to figure out the procedure to create lint libs for the
> system.  The default `lint' target is quiet no-op.

I think there is a default inference rule.

Try ``make llib-${libname}.ln''.

However, be warned, our libc is still not lintable (i.e., it won't
create any lint lib at all, since there is at least one type conflict,
struct pmap is defined twice in different contexts), so lint is not of
much use.

-- 
cheers, J"org

joerg_wunsch@uriah.heep.sax.de -- http://www.sax.de/~joerg/ -- NIC: JW11-RIPE
Never trust an operating system you don't have sources for. ;-)