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 ## List of files
   9 splintlib_DATA = \
  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 \
  13   lclinit.lci linux.h lslinit.lsi tainted.mts tainted.xh \
  14   stdio.h stdlib.h
  15
  16 ## Include them in the distribution
  17 EXTRA_DIST = $(splintlib_DATA)
  18
  19 ## Rules to make splint & the dumps
  20
  21 SPLINT = $(top_builddir)/src/splint$(EXEEXT)
  22
  23 $(SPLINT):
  24         cd $(top_builddir)/src; $(MAKE)
  25
  26 ansi.lcd: ansi.h $(SPLINT)
  27         -$(SPLINT) -nolib +impconj ansi.h -dump ansi
  28         @touch $@
  29
  30 ansistrict.lcd: ansi.h $(SPLINT)
  31         -$(SPLINT) -nolib +impconj -DSTRICT ansi.h -dump ansistrict
  32         @touch $@
  33
  34 posix.lcd: ansi.h posix.h $(SPLINT)
  35         -$(SPLINT) -nolib +impconj ansi.h posix.h -dump posix
  36         @touch $@
  37
  38 posixstrict.lcd: ansi.h posix.h $(SPLINT)
  39         -$(SPLINT) -nolib +impconj -DSTRICT ansi.h posix.h -dump posixstrict
  40         @touch $@
  41
  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
  44         @touch $@
  45
  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
  48         @touch $@