imports/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/imports
   6 importsdir = $(pkgdatadir)/imports
   7
   8 LCLFILES = \
   9   assert.lcl  ctype.lcl  errno.lcl  \
  10   limits.lcl  locale.lcl math.lcl   \
  11   setjmp.lcl  signal.lcl stdarg.lcl \
  12   stdlib.lcl  stdio.lcl  string.lcl \
  13   strings.lcl time.lcl
  14
  15 LCSFILES = \
  16   assert.lcs  ctype.lcs  errno.lcs  \
  17   limits.lcs  locale.lcs math.lcs   \
  18   setjmp.lcs  signal.lcs stdarg.lcs \
  19   stdlib.lcs  stdio.lcs  string.lcs \
  20   strings.lcs time.lcs
  21
  22 ## List of files
  23 imports_DATA = $(LCLFILES) $(LCSFILES)
  24
  25 ## Include them in the distribution
  26 EXTRA_DIST = $(LCLFILES)
  27
  28 ##get rid of lcs files if the user does a make clean
  29 CLEANFILES = $(LCSFILES)
  30
  31 SPLINT = $(top_builddir)/src/splint$(EXEEXT)
  32 LCSGEN = @if $(AM_V_P); then set -x; else echo "  GEN      $@"; fi; \
  33            rm -f $(builddir)/$@; \
  34            LARCH_PATH="$(top_builddir)/lib:$(top_srcdir)/lib" \
  35            LCLIMPORTDIR="$(builddir)" \
  36            $(SPLINT) +quiet $^ && mv $(srcdir)/$@ $(builddir)/$@
  37
  38 $(SPLINT):
  39         @$(MAKE) -C $(top_builddir)/src
  40
  41 %.lcs: %.lcl
  42         $(LCSGEN)