[Search for users] [Overall Top Noters] [List of all Conferences] [Download this site]

Conference smurf::buildhelp

Title:	USG buildhelp questions/answers

Moderator:	SMURF::FILTER

Created:	Mon Apr 26 1993
Last Modified:	Mon Jan 20 1997
Last Successful Update:	Fri Jun 06 1997
Number of topics:	2763
Total number of notes:	5802

1709.0. "Re: Why are ODE lint libraries so old?" by AOSG::FILTER (Automatic Posting Software - mail to flume::puck) Thu Aug 17 1995 11:37

Date Of Receipt: 	17-AUG-1995 10:18:45.91
From: 	SMURF::FLUME::jmf "Joshua M. Friedman OSF/UNIX SDE  17-Aug-1995 1017"
To: 	"Jerry Feldman, ZKO3-3/Y25, DTN:381-2970" <[email protected]>
CC: 	[email protected], [email protected], [email protected],
	vandyck@DEC:.zko.flume, jjchen@DEC:.zko.flume,
	buildhelp@DEC:.zko.flume
Subj: 	Re: Why are ODE lint libraries so old?

Yes, there was a short term interest in building lint libraries back
then, and we haven't built them since.  These should probably just be
removed.  You can build your own -- contact Jin Chen (cc'd) for info
(actually I may just be thinking of kernel lint).

If you do build new libraries, I guess we could put them in place but
we're not in a position to just informally sign up for new production work.

-josh
 
> > 
> > Do either of you know why the lint libraries in the ODE tools area are so
> > old?  The files I see are dated Aug 5, 1993.
> > 
> > % pwd
> > /share/secret/build/submits.dsk1/ptos/tools/alpha_OSF1/alpha/acc/usr/ccs/lib/lin
> > t
> > 
> > % ls -l
> > -rwxr-xr-x   1 devbld   staff        852 Aug  5  1993 Mkf.native*
> > -rwxr-xr-x   1 devbld   staff       1949 Aug  5  1993 llib-lansi.c*
> > -rwxr-xr-x   1 devbld   staff      38844 Aug  5  1993 llib-lc.c*
> > -rwxr-xr-x   1 devbld   staff       6545 Aug  5  1993 llib-lcrses.c*
> > -rwxr-xr-x   1 devbld   staff       7034 Aug  5  1993 llib-lm.c*
> > -rwxr-xr-x   1 devbld   staff      10716 Aug  5  1993 llib-port.c*
> > 
> > This seems to be the cause of unnecessary lint warnings when I lint things
> > under ODE.  Can we get these updated?
> Greg,
> Tjose are the sources to the lint libraries and should be deleted from the 
> tools area. They serve no useful function.
> 
> When you lint in your sandbox, you should get the lint1 from the tools area 
> that was installed when the last compiler kit was installed. Lint libraries 
> are not installed as part of the compiler drop. Not exactly sure what lint 
> libraries are used when you lint in your sandbox. 
> +-------------------------------------------------------------+
> Jerry Feldman            Unix Systems - Development Engineering
> Mailstop: ZKO3-3/Y25     (603)881-2970, DTN:381-2970, 
> Digital Equipment Corp.  ip(DEC): [email protected]
> 110 Spitbrook Rd.        enet: QUARRY::GAF
> Nashua, NH 03062-9987    
> Member Boston Computer Society BOD : [email protected]
> +-------------------------------------------------------------+
>  
>

T.R	Title	User	Personal Name	Date	Lines
1709.1	Re: Why are ODE lint libraries so old?	AOSG::FILTER	Automatic Posting Software - mail to flume::puck	`Thu Aug 17 1995 13:55`	27
	Date Of Receipt: 17-AUG-1995 12:36:49.30 From: SMURF::ALPHA::"[email protected]" "Gerald Feldman USG 17-Aug-1995 1235" To: "Joshua M. Friedman, OSF/UNIX SDE 381-1548" <[email protected]> CC: [email protected], [email protected], [email protected], [email protected], [email protected], [email protected] Subj: Re: Why are ODE lint libraries so old? > Yes, there was a short term interest in building lint libraries back > then, and we haven't built them since. These should probably just be > removed. You can build your own -- contact Jin Chen (cc'd) for info > (actually I may just be thinking of kernel lint). > > If you do build new libraries, I guess we could put them in place but > we're not in a position to just informally sign up for new production work. Actually, the best way to do it is to have the libraries targeted like the compilers such that the lint driver look there. When linting in an ODE sandbox, you want to use header files from the sandbox, and lint libraries built with those headers. +-------------------------------------------------------------+ Jerry Feldman Unix Systems - Development Engineering Mailstop: ZKO3-3/Y25 (603)881-2970, DTN:381-2970, Digital Equipment Corp. ip(DEC): [email protected] 110 Spitbrook Rd. enet: QUARRY::GAF Nashua, NH 03062-9987 Member Boston Computer Society BOD : [email protected] +-------------------------------------------------------------+
1709.2	Re: Why are ODE lint libraries so old?	AOSG::FILTER	Automatic Posting Software - mail to flume::puck	`Thu Aug 17 1995 13:55`	39
	Date Of Receipt: 17-AUG-1995 12:39:32.27 From: SMURF::WASTED::"[email protected]" "Grant Van Dyck 17-Aug-1995 1237" To: "Jerry Feldman, ZKO3-3/Y25, DTN:381-2970" <[email protected]> CC: "Joshua M. Friedman, OSF/UNIX SDE 381-1548" <[email protected]>, [email protected], [email protected], [email protected], [email protected], [email protected] Subj: Re: Why are ODE lint libraries so old? OK, so if you've got new improved ones that are ptos compatible, lets have 'em and we'll put them in the tree. -Grant \| > Yes, there was a short term interest in building lint libraries back \| > then, and we haven't built them since. These should probably just be \| > removed. You can build your own -- contact Jin Chen (cc'd) for info \| > (actually I may just be thinking of kernel lint). \| > \| > If you do build new libraries, I guess we could put them in place but \| > we're not in a position to just informally sign up for new production work. \| Actually, the best way to do it is to have the libraries targeted like the co mpilers such that the lint driver look there. When linting in an ODE sandbox, y ou want to use header files from the sandbox, and lint libraries built with tho se headers. \| +-------------------------------------------------------------+ \| Jerry Feldman Unix Systems - Development Engineering \| Mailstop: ZKO3-3/Y25 (603)881-2970, DTN:381-2970, \| Digital Equipment Corp. ip(DEC): [email protected] \| 110 Spitbrook Rd. enet: QUARRY::GAF \| Nashua, NH 03062-9987 \| Member Boston Computer Society BOD : [email protected] \| +-------------------------------------------------------------+ \| \|