]>
Commit | Line | Data |
---|---|---|
8fe44445 | 1 | ## Note: starting comments with ## means they don't end up in Makefile |
2 | ||
3 | AUTOMAKE_OPTIONS = 1.5 foreign | |
4 | ||
11db3170 | 5 | ## Put these files in $prefix/share/splint/lib |
6 | splintlibdir = $(pkgdatadir)/lib | |
8fe44445 | 7 | |
8 | ## List of files | |
11db3170 | 9 | splintlib_DATA = \ |
8fe44445 | 10 | ansi.h ansi.lcd ansistrict.lcd posix.h posix.lcd posixstrict.lcd \ |
11 | unix.h unix.lcd unixstrict.lcd CTrait.syms CTraitGen.lcl bool.h \ | |
12 | file.mts file.xh filerw.mts filerw.xh \ | |
3be9a165 | 13 | lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \ |
14 | stdio.h stdlib.h | |
8fe44445 | 15 | |
16 | ## Include them in the distribution | |
11db3170 | 17 | EXTRA_DIST = $(splintlib_DATA) |
8fe44445 | 18 | |
11db3170 | 19 | ## Rules to make splint & the dumps |
8fe44445 | 20 | |
11db3170 | 21 | SPLINT = $(top_builddir)/src/splint$(EXEEXT) |
8fe44445 | 22 | |
11db3170 | 23 | $(SPLINT): |
8fe44445 | 24 | cd $(top_builddir)/src; $(MAKE) |
25 | ||
11db3170 | 26 | ansi.lcd: ansi.h $(SPLINT) |
27 | -$(SPLINT) -nolib +impconj ansi.h -dump ansi | |
8fe44445 | 28 | @touch $@ |
29 | ||
11db3170 | 30 | ansistrict.lcd: ansi.h $(SPLINT) |
31 | -$(SPLINT) -nolib +impconj -DSTRICT ansi.h -dump ansistrict | |
8fe44445 | 32 | @touch $@ |
33 | ||
11db3170 | 34 | posix.lcd: ansi.h posix.h $(SPLINT) |
35 | -$(SPLINT) -nolib +impconj ansi.h posix.h -dump posix | |
8fe44445 | 36 | @touch $@ |
37 | ||
11db3170 | 38 | posixstrict.lcd: ansi.h posix.h $(SPLINT) |
39 | -$(SPLINT) -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict | |
8fe44445 | 40 | @touch $@ |
41 | ||
11db3170 | 42 | unix.lcd: ansi.h posix.h unix.h $(SPLINT) |
43 | -$(SPLINT) -nolib +impconj ansi.h posix.h unix.h stdio.h stdlib.h -dump unix | |
8fe44445 | 44 | @touch $@ |
45 | ||
11db3170 | 46 | unixstrict.lcd: ansi.h posix.h unix.h $(SPLINT) |
47 | -$(SPLINT) -nolib +impconj -DSTRICT ansi.h posix.h unix.h stdio.h stdlib.h -dump unixstrict | |
8fe44445 | 48 | @touch $@ |