From: agate!howland.reston.ans.net!darwin.sura.net!europa.eng.gtefsd.com!slc17! jwilson@ucbvax.Berkeley.EDU (Jon Wilson, PRC)
Subject: Re: lint tool for Ada?
Date: 1 Jul 93 12:56:01 GMT [thread overview]
Message-ID: <20umt1$4oa@europa.eng.gtefsd.com> (raw)
In article L05@dale.cts.com, helkenn@dale.cts.com (David Helken) writes:
> The point is, a lint tool
> would be helpful for those of us who could use it.
>
> Am I just using the wrong compiler? :-)
>
I think we both are. I was ignoring the people who didn't see the utility of a
tool
like lint as either non-c programmers, or people who have a MUCH better compile
r
toolset than I, but based on the number of direct replies I got, there is quite
a
market out there.
How about it compiler vendors? The only third-party tool that responded needed
POSIX
and ASIS compliance. Either the compilers need to go this route so that third-p
arty
software can make Ada programmers lives less miserable, or provide toolsets tha
t
actually provided the functionality we need.
Before the flames... I know ONE compiler/toolset that meets these criteria. If
you
are using it, you are quite lucky. I like their products, but I'm stuck with wh
at
we have, just like a many others.
---
Jon R. Wilson Work: (205) 215-5477
Senior Computer Analyst Fax: (205) 215-5511
PRC, Inc. jwilson@mtgy.gtegsc.com
next reply other threads:[~1993-07-01 12:56 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
1993-07-01 12:56 agate!howland.reston.ans.net!darwin.sura.net!europa.eng.gtefsd.com!slc17! [this message]
-- strict thread matches above, loose matches on Subject: below --
1993-07-04 8:59 lint tool for Ada? Erik Magnuson
1993-07-01 21:11 cis.ohio-state.edu!math.ohio-state.edu!sdd.hp.com!saimiri.primate.wisc.ed
1993-07-01 17:48 vnet.IBM.COM
1993-07-01 1:08 cis.ohio-state.edu!news.sei.cmu.edu!ajpo.sei.cmu.edu!wellerd
1993-06-30 20:14 David Helken
1993-06-29 19:03 Alex Blakemore
1993-06-28 20:45 Jon Wilson, PRC
1993-06-28 20:35 Bill Yow
1993-06-28 19:59 Jon Wilson, PRC
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox