           SPELL=splint
         VERSION=3.1.2
          SOURCE=$SPELL-$VERSION.src.tgz
SOURCE_DIRECTORY="$BUILD_DIRECTORY/$SPELL-$VERSION"
   SOURCE_URL[0]=http://www.splint.org/downloads/$SOURCE
     SOURCE_HASH=sha512:9bbf3f6575763c022940efde947f845f52095a1bcf645f7f4a98feb335b62d2bd50d78420e7fe95f81eb139b110d8fe48112b025deace45f7994360b20d47e0b
        WEB_SITE=http://www.splint.org/
         ENTERED=20030514
      LICENSE[0]=GPL
        KEYWORDS="security devel"
           SHORT="A tool for statically checking C programs for security vulnerabilities and coding mistakes"
cat << EOF
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.
EOF
