| 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 $@ |
andersk / splint.git / blame