Makefile.am

   1 ## Process this file with automake to create Makefile.in. -*-Makefile-*-
   2 ##
   3 ## Makefile for Splint 3.1.2
   4 ## For more information: http://www.splint.org
   5 ##
   6 ## Copyright (C) 2001-7 University of Virginia,
   7 ##         Massachusetts Institute of Technology
   8 ##
   9 ## Copyright (C) 2016 Mihail Groza
  10 ##
  11 ## This program is free software; you can redistribute it and/or modify it
  12 ## under the terms of the GNU General Public License as published by the
  13 ## Free Software Foundation; either version 2 of the License, or (at your
  14 ## option) any later version.
  15 ##
  16 ## This program is distributed in the hope that it will be useful, but
  17 ## WITHOUT ANY WARRANTY; without even the implied warranty of
  18 ## MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
  19 ## General Public License for more details.
  20 ##
  21 ## The GNU General Public License is available from http://www.gnu.org/ or
  22 ## the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
  23 ## MA 02111-1307, USA.
  24 ##
  25 ## For information on spint: info@splint.org
  26 ## To report a bug: splint-bug@splint.org
  27 ##
  28
  29 AUTOMAKE_OPTIONS = 1.5 foreign
  30
  31 SUBDIRS =  src lib imports doc
  32
  33 EXTRA_DIST = install.html
  34
  35 EXTRA_DIST += test
  36
  37 ## avoid conflict with possible redefinition by autotools of check-local
  38 ## in a simple fashion, adding an (additional) dependence
  39 check-local: check-local-test
  40 check-local-test:
  41         @SPLINT=$(abs_top_builddir)/src/splint$(EXEEXT) \
  42                LARCH_PATH="$(abs_top_builddir)/lib:$(abs_top_srcdir)/lib" \
  43                LCLIMPORTDIR="$(abs_top_builddir)/imports" \
  44                $(MAKE) -C $(srcdir)/test
  45
  46 ## avoid conflict with possible redefinition by autotools of clean-local
  47 ## in a simple fashion, adding an (additional) dependence
  48 clean-local: clean-local-test
  49 clean-local-test:
  50         @$(MAKE) -C $(srcdir)/test clean
  51
  52 ## avoid conflict with possible redefinition by autotools of dist-hook
  53 ## in a simple fashion, adding an (additional) dependence
  54 dist-hook: dist-hook-test
  55 dist-hook-test:
  56         @rm -rf $(distdir)/test/UNUSED
  57         -@find $(distdir)/test -name '*~' -delete
  58         -@find $(distdir)/test -name '.*.swp' -delete
  59         -@find $(distdir)/test -name '.*.swo' -delete
  60         @$(MAKE) -C $(distdir)/test clean
  61