lib/Makefile.am

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