1 ## Note: starting comments with ## means they don't end up in Makefile
3 ### Make phony, always remake everything.
5 .PHONY: all standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd
7 AUTOMAKE_OPTIONS = 1.5 foreign
9 ## Put these files in $prefix/share/splint/lib
10 splintlibdir = $(pkgdatadir)/lib
12 UnixHeaders = stdio.h stdlib.h
16 standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd \
17 unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h \
18 file.mts file.xh filerw.mts filerw.xh \
19 lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \
20 stdio.h stdlib.h $(UnixHeaders)
22 ## Include them in the distribution
23 EXTRA_DIST = $(splintlib_DATA)
25 ##get rid of lcd files if the user does a make clean
26 CLEANFILES = posix.lcd standard.lcd unix.lcd \
27 posixstrict.lcd standardstrict.lcd unixstrict.lcd
30 ## Rules to make splint & the dumps
32 SPLINT = $(top_builddir)/src/splint$(EXEEXT)
35 cd $(top_builddir)/src; $(MAKE)
37 all: standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd
39 standard.lcd: standard.h $(SPLINT)
40 -$(SPLINT) -nof -nolib +impconj standard.h -dump standard
43 standardstrict.lcd: standard.h $(SPLINT)
44 -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict
47 posix.lcd: standard.h posix.h $(SPLINT)
48 -$(SPLINT) -nof -nolib +impconj standard.h posix.h -dump posix
51 posixstrict.lcd: standard.h posix.h $(SPLINT)
52 -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict
55 unix.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)
56 -$(SPLINT) -supcounts -nof -incondefs -nolib +impconj standard.h posix.h unix.h stdio.h stdlib.h -dump unix
59 unixstrict.lcd: standard.h posix.h unix.h $(UnixHeaders) $(SPLINT)
60 -$(SPLINT) -supcounts -nof -incondefs -nolib +impconj -DSTRICT standard.h posix.h unix.h stdio.h stdlib.h -dump unixstrict