lib/Makefile.am

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