X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/a028d0b73b4e3922e5cc1893dfd771991dab55df..920a3797c23377bfb7332b0c11bda1d708cabb72:/lib/Makefile diff --git a/lib/Makefile b/lib/Makefile index f559a72..83652f8 100644 --- a/lib/Makefile +++ b/lib/Makefile @@ -1,8 +1,8 @@ all: - lclint -nolib +impconj ansi.h -dump ansi - lclint -nolib +impconj -DSTRICT ansi.h -dump ansistrict - lclint -nolib +impconj ansi.h posix.h -dump posix - lclint -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict - lclint -nolib +impconj ansi.h posix.h unix.h -dump unix - lclint -nolib +impconj -DSTRICT ansi.h posix.h unix.h -dump unixstrict + ../bin/lclint -nolib +impconj ansi.h -dump ansi + ../bin/lclint -nolib +impconj -DSTRICT ansi.h -dump ansistrict + ../bin/lclint -nolib +impconj ansi.h posix.h -dump posix + ../bin/lclint -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict + ../bin/lclint -nolib +impconj ansi.h posix.h unix.h -dump unix + ../bin/lclint -nolib +impconj -DSTRICT ansi.h posix.h unix.h -dump unixstrict