Gentoo Websites Logo
Go to: Gentoo Home Documentation Forums Lists Bugs Planet Store Wiki Get Gentoo!
Bug 14410 - splint-3.0.1.6.ebuild (new package)
Summary: splint-3.0.1.6.ebuild (new package)
Status: RESOLVED FIXED
Alias: None
Product: Gentoo Linux
Classification: Unclassified
Component: New packages (show other bugs)
Hardware: All All
: High enhancement
Assignee: Robert Coie (RETIRED)
URL:
Whiteboard:
Keywords:
Depends on:
Blocks:
 
Reported: 2003-01-23 00:46 UTC by Matt Hartley
Modified: 2003-05-08 13:44 UTC (History)
3 users (show)

See Also:
Package list:
Runtime testing required: ---


Attachments
splint-3.0.1.6.ebuild (splint-3.0.1.6.ebuild,662 bytes, text/plain)
2003-01-23 00:53 UTC, Matt Hartley
Details
digest for the source tar (digest-splint-3.0.1.6,68 bytes, text/plain)
2003-01-23 01:36 UTC, Matt Hartley
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Matt Hartley 2003-01-23 00:46:18 UTC
Here is the ebuild for splint v3.0.1.6.  From the website:  "Splint is a tool
for statically checking C programs for security vulnerabilities and coding
mistakes. With minimal effort, Splint can be used as a better lint. If
additional effort is invested adding annotations to programs, Splint can perform
stronger checking than can be done by any standard lint." 

It's a wonderful tool.  With the recent coverage of lint on Slashdot, I figured
it was time for someone to write this ebuild, so I decided it could be my first! :)

Anyway, I suggest placing it in dev-util/splint.

Thanks for gentoo!
Matt
Comment 1 Matt Hartley 2003-01-23 00:53:23 UTC
Created attachment 7551 [details]
splint-3.0.1.6.ebuild
Comment 2 Matt Hartley 2003-01-23 01:36:29 UTC
Created attachment 7552 [details]
digest for the source tar
Comment 3 Karl Trygve Kalleberg (RETIRED) gentoo-dev 2003-05-03 08:56:44 UTC
Can't get around to this anytime soon, sorry.
Comment 4 Robert Coie (RETIRED) gentoo-dev 2003-05-08 13:44:49 UTC
Committed to CVS with some changes.  Thank you for the submission.