lib/Makefile.am

   1 ## Note: starting comments with ## means they don't end up in Makefile
   2
   3 .PHONY: all
   4
   5 AUTOMAKE_OPTIONS = 1.5 foreign
   6
   7 ## Put these files in $prefix/share/splint/lib
   8 splintlibdir = $(pkgdatadir)/lib
   9
  10 LCDFILES = \
  11            standard.lcd standardstrict.lcd \
  12            posix.lcd posixstrict.lcd \
  13            unix.lcd unixstrict.lcd
  14
  15 UnixHeaders = ./include/stdio.h ./include/stdlib.h
  16 AllHeaders = \
  17              standard.h \
  18              posix.h \
  19              unix.h \
  20              bool.h \
  21              $(UnixHeaders)
  22 MtsFiles = \
  23            file.mts file.xh \
  24            filerw.mts filerw.xh \
  25            tainted.mts tainted.xh
  26 LarchFiles = \
  27              CTrait.syms \
  28              lclinit.lci lslinit.lsi
  29
  30 ## List of files
  31 splintlib_DATA = $(LCDFILES) $(MtsFiles) $(LarchFiles)
  32
  33 ##get rid of lcd files if the user does a make clean
  34 CLEANFILES = $(LCDFILES)
  35
  36 ## Include them in the distribution
  37 EXTRA_DIST = $(AllHeaders)
  38
  39 ## Rules to make splint & the dumps
  40
  41 SPLINT = $(top_builddir)/src/splint$(EXEEXT)
  42 LCDGEN = @if $(AM_V_P); then set -x; else echo "  GEN      $@"; fi; \
  43                 $(SPLINT) +quiet -nof -nolib +impconj $^ -dump $@
  44
  45 $(SPLINT):
  46         @$(MAKE) -C $(top_builddir)/src
  47
  48 all: $(SPLINT) $(LCDFILES)
  49
  50 standard.lcd: standard.h
  51         $(LCDGEN)
  52
  53 standardstrict.lcd: standard.h
  54         $(LCDGEN) -DSTRICT
  55
  56 posix.lcd: standard.h posix.h
  57         $(LCDGEN)
  58
  59 posixstrict.lcd: standard.h posix.h
  60         $(LCDGEN) -DSTRICT
  61
  62 unix.lcd: standard.h posix.h unix.h $(UnixHeaders)
  63         $(LCDGEN) -supcounts -incondefs
  64
  65 unixstrict.lcd: standard.h posix.h unix.h $(UnixHeaders)
  66         $(LCDGEN) -supcounts -incondefs -DSTRICT
  67