diff options
| author | Andy Lester <andy@petdance.com> | 2006-07-02 07:19:08 -0500 |
|---|---|---|
| committer | Rafael Garcia-Suarez <rgarciasuarez@gmail.com> | 2006-07-03 16:40:19 +0000 |
| commit | abcf5adaceac1bafa95366e633b9de5667a997e3 (patch) | |
| tree | f2196b59b1c3c64ff62456da7f5b50863fc0b0cb /Makefile.SH | |
| parent | d86c571c6c8bdb965eda7f35a947bfa0042d63ec (diff) | |
| download | perl-abcf5adaceac1bafa95366e633b9de5667a997e3.tar.gz | |
Makefile splint support
Message-ID: <20060702171908.GA20443@petdance.com>
p4raw-id: //depot/perl@28471
Diffstat (limited to 'Makefile.SH')
| -rw-r--r-- | Makefile.SH | 35 |
1 files changed, 33 insertions, 2 deletions
diff --git a/Makefile.SH b/Makefile.SH index 1ae047121d..ea9c636ae9 100644 --- a/Makefile.SH +++ b/Makefile.SH @@ -389,12 +389,13 @@ lintflags = \ -erroff=E_BAD_SIGN_EXTEND \ -erroff=E_BLOCK_DECL_UNUSED \ -erroff=E_CASE_FALLTHRU \ + -erroff=E_CONST_EXPR \ -erroff=E_CONSTANT_CONDITION \ + -erroff=E_END_OF_LOOP_CODE_NOT_REACHED \ -erroff=E_EQUALITY_NOT_ASSIGNMENT \ -erroff=E_EXPR_NULL_EFFECT \ -erroff=E_FALSE_LOGICAL_EXPR \ -erroff=E_INCL_NUSD \ - -erroff=E_INDISTING_FROM_TRUNC \ -erroff=E_LOOP_EMPTY \ -erroff=E_MAIN_PARAM \ -erroff=E_POINTER_TO_OBJECT \ @@ -403,6 +404,32 @@ lintflags = \ -erroff=E_STATIC_UNUSED \ -erroff=E_TRUE_LOGICAL_EXPR +splintflags = \ + -I/usr/lib/gcc/i486-linux-gnu/4.0.2/include/ \ + -D__builtin_va_list=va_list \ + -Dsigjmp_buf=jmp_buf \ + -warnposix \ + \ + +boolint \ + +charintliteral \ + -fixedformalarray \ + -mustfreefresh \ + -nestedextern \ + -predboolint \ + -predboolothers \ + -preproc \ + -boolops \ + -shadow \ + -nullstate \ + +longintegral \ + +matchanyintegral \ + -type \ + \ + +line-len 999 \ + +weak + +splintfiles = $(c1) + .c$(OBJ_EXT): $(CCCMD) $(PLDLFLAGS) $*.c @@ -1104,6 +1131,10 @@ lint: $(c) rm -f *.ln lint $(lintflags) -DPERL_CORE -D_REENTRANT -DDEBUGGING -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 $(c) +.PHONY: splint +splint: $(c) + splint $(splintflags) -DPERL_CORE -D_REENTRANT -DDEBUGGING -D_LARGEFILE_SOURCE -D_FILE_OFFSET_BITS=64 $(splintfiles) + # Need to unset during recursion to go out of loop. # The README below ensures that the dependency list is never empty and # that when MAKEDEPEND is empty $(FIRSTMAKEFILE) doesn't need rebuilding. @@ -1344,7 +1375,7 @@ tags: TAGS perl emacs/e2ctags.pl TAGS > tags ctags: - ctags -f Tags -N --totals --languages=c --langmap=c:+.h *.c *.h + ctags -f Tags -N --totals --languages=c --langmap=c:+.h --exclude=opmini.c *.c *.h # AUTOMATICALLY GENERATED MAKE DEPENDENCIES--PUT NOTHING BELOW THIS LINE # If this runs make out of memory, delete /usr/include lines. |