]>
Commit | Line | Data |
---|---|---|
8fe44445 | 1 | ## Note: starting comments with ## means they don't end up in Makefile |
2 | ||
f9264521 | 3 | ### Make phony, always remake everything. |
4 | ||
5 | .PHONY: all standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd | |
6 | ||
8fe44445 | 7 | AUTOMAKE_OPTIONS = 1.5 foreign |
8 | ||
11db3170 | 9 | ## Put these files in $prefix/share/splint/lib |
10 | splintlibdir = $(pkgdatadir)/lib | |
8fe44445 | 11 | |
4aadc959 | 12 | UnixHeaders = stdio.h stdlib.h |
13 | ||
8fe44445 | 14 | ## List of files |
11db3170 | 15 | splintlib_DATA = \ |
155af98d | 16 | standard.h standard.lcd standardstrict.lcd posix.h posix.lcd posixstrict.lcd \ |
8fe44445 | 17 | unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h \ |
18 | file.mts file.xh filerw.mts filerw.xh \ | |
3be9a165 | 19 | lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \ |
4aadc959 | 20 | stdio.h stdlib.h $(UnixHeaders) |
8fe44445 | 21 | |
22 | ## Include them in the distribution | |
11db3170 | 23 | EXTRA_DIST = $(splintlib_DATA) |
8fe44445 | 24 | |
5ca29538 | 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 | |
28 | ||
4aadc959 | 29 | |
11db3170 | 30 | ## Rules to make splint & the dumps |
8fe44445 | 31 | |
11db3170 | 32 | SPLINT = $(top_builddir)/src/splint$(EXEEXT) |
8fe44445 | 33 | |
11db3170 | 34 | $(SPLINT): |
8fe44445 | 35 | cd $(top_builddir)/src; $(MAKE) |
36 | ||
f9264521 | 37 | all: standard.lcd standardstrict.lcd posix.lcd posixstrict.lcd unix.lcd unixstrict.lcd |
38 | ||
155af98d | 39 | standard.lcd: standard.h $(SPLINT) |
40 | -$(SPLINT) -nof -nolib +impconj standard.h -dump standard | |
8fe44445 | 41 | @touch $@ |
42 | ||
155af98d | 43 | standardstrict.lcd: standard.h $(SPLINT) |
44 | -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h -dump standardstrict | |
8fe44445 | 45 | @touch $@ |
46 | ||
155af98d | 47 | posix.lcd: standard.h posix.h $(SPLINT) |
48 | -$(SPLINT) -nof -nolib +impconj standard.h posix.h -dump posix | |
8fe44445 | 49 | @touch $@ |
50 | ||
155af98d | 51 | posixstrict.lcd: standard.h posix.h $(SPLINT) |
52 | -$(SPLINT) -nof -nolib +impconj -DSTRICT standard.h posix.h -dump posixstrict | |
8fe44445 | 53 | @touch $@ |
54 | ||
155af98d | 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 | |
8fe44445 | 57 | @touch $@ |
58 | ||
155af98d | 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 | |
8fe44445 | 61 | @touch $@ |