Blob Blame History Raw
@node ax_prog_splint
@unnumberedsec ax_prog_splint

@majorheading Synopsis

@smallexample
AX_PROG_SPLINT([AX_SPLINTFLAGS])
@end smallexample

@majorheading Description

Check for program splint, the static C code checking tool. The splint
URL is given by http://www.splint.org. This macro should be use together
with automake.

Enables following environment variables:

@smallexample
  SPLINT
  SPLINTFLAGS
@end smallexample

and AX_SPLINTFLAGS is given by AC_SUBST. If AX_SPLINTFLAGS is not given
by AX_PROG_SPLINT it defaults to "-weak".

Enables the following make target:

@smallexample
  splint-check
@end smallexample

which runs splint per PROGRAMS and LIBRARIES. Output from splint run is
collected in file ***_splint.log where *** is given by the PROGRAMS or
LIBRARIES name.

The following line is required in Makefile.am:

@smallexample
  include aminclude_static.am
@end smallexample

@majorheading Source Code

Download the
@uref{http://git.savannah.gnu.org/gitweb/?p=autoconf-archive.git;a=blob_plain;f=m4/ax_prog_splint.m4,latest
version of @file{ax_prog_splint.m4}} or browse
@uref{http://git.savannah.gnu.org/gitweb/?p=autoconf-archive.git;a=history;f=m4/ax_prog_splint.m4,the
macro's revision history}.

@majorheading License

@w{Copyright @copyright{} 2011 Henrik Uhrenholt}

Copying and distribution of this file, with or without modification, are
permitted in any medium without royalty provided the copyright notice
and this notice are preserved. This file is offered as-is, without any
warranty.