-# Makefile.in generated by automake 1.6.3 from Makefile.am.
+# Makefile.in generated by automake 1.10.1 from Makefile.am.
# @configure_input@
-# Copyright 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002
-# Free Software Foundation, Inc.
+# Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002,
+# 2003, 2004, 2005, 2006, 2007, 2008 Free Software Foundation, Inc.
# This Makefile.in is free software; the Free Software Foundation
# gives unlimited permission to copy and/or distribute it,
# with or without modifications, as long as this notice is preserved.
# PARTICULAR PURPOSE.
@SET_MAKE@
-SHELL = @SHELL@
-srcdir = @srcdir@
-top_srcdir = @top_srcdir@
VPATH = @srcdir@
-prefix = @prefix@
-exec_prefix = @exec_prefix@
-
-bindir = @bindir@
-sbindir = @sbindir@
-libexecdir = @libexecdir@
-datadir = @datadir@
-sysconfdir = @sysconfdir@
-sharedstatedir = @sharedstatedir@
-localstatedir = @localstatedir@
-libdir = @libdir@
-infodir = @infodir@
-mandir = @mandir@
-includedir = @includedir@
-oldincludedir = /usr/include
pkgdatadir = $(datadir)/@PACKAGE@
pkglibdir = $(libdir)/@PACKAGE@
pkgincludedir = $(includedir)/@PACKAGE@
-top_builddir = ..
-
-ACLOCAL = @ACLOCAL@
-AUTOCONF = @AUTOCONF@
-AUTOMAKE = @AUTOMAKE@
-AUTOHEADER = @AUTOHEADER@
-
am__cd = CDPATH="$${ZSH_VERSION+.}$(PATH_SEPARATOR)" && cd
-INSTALL = @INSTALL@
-INSTALL_PROGRAM = @INSTALL_PROGRAM@
-INSTALL_DATA = @INSTALL_DATA@
install_sh_DATA = $(install_sh) -c -m 644
install_sh_PROGRAM = $(install_sh) -c
install_sh_SCRIPT = $(install_sh) -c
-INSTALL_SCRIPT = @INSTALL_SCRIPT@
INSTALL_HEADER = $(INSTALL_DATA)
-transform = @program_transform_name@
+transform = $(program_transform_name)
NORMAL_INSTALL = :
PRE_INSTALL = :
POST_INSTALL = :
NORMAL_UNINSTALL = :
PRE_UNINSTALL = :
POST_UNINSTALL = :
-build_alias = @build_alias@
build_triplet = @build@
-host_alias = @host_alias@
host_triplet = @host@
-target_alias = @target_alias@
target_triplet = @target@
-
-EXEEXT = @EXEEXT@
-OBJEXT = @OBJEXT@
-PATH_SEPARATOR = @PATH_SEPARATOR@
+bin_PROGRAMS = splint$(EXEEXT)
+EXTRA_PROGRAMS = lcl$(EXEEXT)
+subdir = src
+DIST_COMMON = $(srcdir)/Makefile.am $(srcdir)/Makefile.in
+ACLOCAL_M4 = $(top_srcdir)/aclocal.m4
+am__aclocal_m4_deps = $(top_srcdir)/acinclude.m4 \
+ $(top_srcdir)/configure.ac
+am__configure_deps = $(am__aclocal_m4_deps) $(CONFIGURE_DEPENDENCIES) \
+ $(ACLOCAL_M4)
+mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
+CONFIG_HEADER = $(top_builddir)/config.h
+CONFIG_CLEAN_FILES =
+am__installdirs = "$(DESTDIR)$(bindir)"
+binPROGRAMS_INSTALL = $(INSTALL_PROGRAM)
+PROGRAMS = $(bin_PROGRAMS)
+am__objects_1 = lsymbolSet.$(OBJEXT) sigNodeSet.$(OBJEXT) \
+ lslOpSet.$(OBJEXT) sortSet.$(OBJEXT)
+am__objects_2 = initDeclNodeList.$(OBJEXT) sortList.$(OBJEXT) \
+ declaratorInvNodeList.$(OBJEXT) interfaceNodeList.$(OBJEXT) \
+ sortSetList.$(OBJEXT) declaratorNodeList.$(OBJEXT) \
+ letDeclNodeList.$(OBJEXT) stDeclNodeList.$(OBJEXT) \
+ storeRefNodeList.$(OBJEXT) lslOpList.$(OBJEXT) \
+ lsymbolList.$(OBJEXT) termNodeList.$(OBJEXT) \
+ ltokenList.$(OBJEXT) traitRefNodeList.$(OBJEXT) \
+ pairNodeList.$(OBJEXT) typeNameNodeList.$(OBJEXT) \
+ fcnNodeList.$(OBJEXT) paramNodeList.$(OBJEXT) \
+ programNodeList.$(OBJEXT) varDeclarationNodeList.$(OBJEXT) \
+ varNodeList.$(OBJEXT) quantifierNodeList.$(OBJEXT) \
+ replaceNodeList.$(OBJEXT) importNodeList.$(OBJEXT)
+am__objects_3 = tokentable.$(OBJEXT) scan.$(OBJEXT) scanline.$(OBJEXT) \
+ lslparse.$(OBJEXT) lh.$(OBJEXT) checking.$(OBJEXT) \
+ lclctypes.$(OBJEXT) imports.$(OBJEXT) lslinit.$(OBJEXT) \
+ syntable.$(OBJEXT)
+am__objects_4 = usymtab_interface.$(OBJEXT) abstract.$(OBJEXT) \
+ ltoken.$(OBJEXT) lclscanline.$(OBJEXT) lclsyntable.$(OBJEXT) \
+ lcltokentable.$(OBJEXT) sort.$(OBJEXT) symtable.$(OBJEXT) \
+ lclinit.$(OBJEXT) shift.$(OBJEXT) lclscan.$(OBJEXT) \
+ lsymbol.$(OBJEXT) mapping.$(OBJEXT)
+am__objects_5 = $(am__objects_1) $(am__objects_2) $(am__objects_3) \
+ $(am__objects_4)
+am_lcl_OBJECTS = $(am__objects_5)
+lcl_OBJECTS = $(am_lcl_OBJECTS)
+lcl_LDADD = $(LDADD)
+am__objects_6 = cgrammar.$(OBJEXT) cscanner.$(OBJEXT) \
+ mtscanner.$(OBJEXT) mtgrammar.$(OBJEXT) llgrammar.$(OBJEXT) \
+ signature.$(OBJEXT)
+am__objects_7 = cppmain.$(OBJEXT) cpplib.$(OBJEXT) cppexp.$(OBJEXT) \
+ cpphash.$(OBJEXT) cpperror.$(OBJEXT)
+am__objects_8 = context.$(OBJEXT) uentry.$(OBJEXT) cprim.$(OBJEXT) \
+ macrocache.$(OBJEXT) qual.$(OBJEXT) qtype.$(OBJEXT) \
+ stateClause.$(OBJEXT) stateClauseList.$(OBJEXT) \
+ ctype.$(OBJEXT) cvar.$(OBJEXT) clabstract.$(OBJEXT) \
+ idDecl.$(OBJEXT) clause.$(OBJEXT) globalsClause.$(OBJEXT) \
+ modifiesClause.$(OBJEXT) warnClause.$(OBJEXT) \
+ functionClause.$(OBJEXT) functionClauseList.$(OBJEXT) \
+ metaStateConstraint.$(OBJEXT) \
+ metaStateConstraintList.$(OBJEXT) \
+ metaStateExpression.$(OBJEXT) metaStateSpecifier.$(OBJEXT) \
+ functionConstraint.$(OBJEXT) pointers.$(OBJEXT) \
+ cscannerHelp.$(OBJEXT)
+am__objects_9 = structNames.$(OBJEXT) transferChecks.$(OBJEXT) \
+ varKinds.$(OBJEXT) nameChecks.$(OBJEXT)
+am__objects_10 = exprData.$(OBJEXT) cstring.$(OBJEXT) \
+ fileloc.$(OBJEXT) message.$(OBJEXT) inputStream.$(OBJEXT) \
+ fileTable.$(OBJEXT) cstringTable.$(OBJEXT) \
+ valueTable.$(OBJEXT) stateValue.$(OBJEXT) llerror.$(OBJEXT) \
+ messageLog.$(OBJEXT) flagMarker.$(OBJEXT) aliasTable.$(OBJEXT) \
+ ynm.$(OBJEXT) sRefTable.$(OBJEXT) genericTable.$(OBJEXT) \
+ ekind.$(OBJEXT) usymtab.$(OBJEXT) multiVal.$(OBJEXT) \
+ lltok.$(OBJEXT) sRef.$(OBJEXT) lcllib.$(OBJEXT) \
+ randomNumbers.$(OBJEXT) fileLib.$(OBJEXT)
+am__objects_11 = globals.$(OBJEXT) flags.$(OBJEXT) general.$(OBJEXT) \
+ osd.$(OBJEXT) reader.$(OBJEXT) mtreader.$(OBJEXT)
+am__objects_12 = clauseStack.$(OBJEXT) filelocStack.$(OBJEXT) \
+ cstringList.$(OBJEXT) cstringSList.$(OBJEXT) \
+ sRefSetList.$(OBJEXT) ctypeList.$(OBJEXT) \
+ enumNameList.$(OBJEXT) enumNameSList.$(OBJEXT) \
+ exprNodeList.$(OBJEXT) exprNodeSList.$(OBJEXT) \
+ uentryList.$(OBJEXT) fileIdList.$(OBJEXT) \
+ filelocList.$(OBJEXT) qualList.$(OBJEXT) sRefList.$(OBJEXT) \
+ flagMarkerList.$(OBJEXT) idDeclList.$(OBJEXT) \
+ flagSpec.$(OBJEXT)
+am__objects_13 = globSet.$(OBJEXT) intSet.$(OBJEXT) \
+ typeIdSet.$(OBJEXT) guardSet.$(OBJEXT) usymIdSet.$(OBJEXT) \
+ sRefSet.$(OBJEXT)
+am__objects_14 = stateInfo.$(OBJEXT) stateCombinationTable.$(OBJEXT) \
+ metaStateTable.$(OBJEXT) metaStateInfo.$(OBJEXT) \
+ annotationTable.$(OBJEXT) annotationInfo.$(OBJEXT) \
+ mttok.$(OBJEXT) mtDeclarationNode.$(OBJEXT) \
+ mtDeclarationPieces.$(OBJEXT) mtDeclarationPiece.$(OBJEXT) \
+ mtContextNode.$(OBJEXT) mtValuesNode.$(OBJEXT) \
+ mtDefaultsNode.$(OBJEXT) mtAnnotationsNode.$(OBJEXT) \
+ mtMergeNode.$(OBJEXT) mtAnnotationList.$(OBJEXT) \
+ mtAnnotationDecl.$(OBJEXT) mtTransferClauseList.$(OBJEXT) \
+ mtTransferClause.$(OBJEXT) mtTransferAction.$(OBJEXT) \
+ mtLoseReferenceList.$(OBJEXT) mtLoseReference.$(OBJEXT) \
+ mtDefaultsDeclList.$(OBJEXT) mtDefaultsDecl.$(OBJEXT) \
+ mtMergeItem.$(OBJEXT) mtMergeClause.$(OBJEXT) \
+ mtMergeClauseList.$(OBJEXT)
+am__objects_15 = $(am__objects_7) $(am__objects_8) $(am__objects_9) \
+ $(am__objects_10) $(am__objects_11) $(am__objects_12) \
+ $(am__objects_13) $(am__objects_14)
+am__objects_16 = exprNode.$(OBJEXT) exprChecks.$(OBJEXT) \
+ llmain.$(OBJEXT) help.$(OBJEXT) rcfiles.$(OBJEXT)
+am__objects_17 = constraintList.$(OBJEXT) constraintResolve.$(OBJEXT) \
+ constraintGeneration.$(OBJEXT) constraintTerm.$(OBJEXT) \
+ constraintExprData.$(OBJEXT) constraintExpr.$(OBJEXT) \
+ constraint.$(OBJEXT) loopHeuristics.$(OBJEXT)
+am__objects_18 =
+am__objects_19 = $(am__objects_18)
+am__objects_20 = $(am__objects_6) $(am__objects_15) $(am__objects_16) \
+ $(am__objects_17) $(am__objects_19) $(am__objects_18)
+am_splint_OBJECTS = $(am__objects_20)
+splint_OBJECTS = $(am_splint_OBJECTS)
+am__DEPENDENCIES_1 =
+DEFAULT_INCLUDES = -I.@am__isrc@ -I$(top_builddir)
+depcomp = $(SHELL) $(top_srcdir)/config/depcomp
+am__depfiles_maybe = depfiles
+COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
+ $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
+CCLD = $(CC)
+LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
+SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
+DIST_SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
+ETAGS = etags
+CTAGS = ctags
+DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
+ACLOCAL = @ACLOCAL@
AMTAR = @AMTAR@
+AUTOCONF = @AUTOCONF@
+AUTOHEADER = @AUTOHEADER@
+AUTOMAKE = @AUTOMAKE@
AWK = @AWK@
BISON = @BISON@
CAT = @CAT@
CC = @CC@
+CCDEPMODE = @CCDEPMODE@
+CFLAGS = @CFLAGS@
CP = @CP@
CPP = @CPP@
+CPPFLAGS = @CPPFLAGS@
+CYGPATH_W = @CYGPATH_W@
+DEFS = @DEFS@
DEPDIR = @DEPDIR@
DIFF = @DIFF@
+ECHO_C = @ECHO_C@
+ECHO_N = @ECHO_N@
+ECHO_T = @ECHO_T@
+EXEEXT = @EXEEXT@
GREP = @GREP@
+INSTALL = @INSTALL@
+INSTALL_DATA = @INSTALL_DATA@
+INSTALL_PROGRAM = @INSTALL_PROGRAM@
+INSTALL_SCRIPT = @INSTALL_SCRIPT@
INSTALL_STRIP_PROGRAM = @INSTALL_STRIP_PROGRAM@
LCLOBJ = @LCLOBJ@
+LDFLAGS = @LDFLAGS@
LEX = @LEX@
LEXLIB = @LEXLIB@
LEX_OUTPUT_ROOT = @LEX_OUTPUT_ROOT@
+LIBOBJS = @LIBOBJS@
+LIBS = @LIBS@
LN_S = @LN_S@
+LTLIBOBJS = @LTLIBOBJS@
+MAKEINFO = @MAKEINFO@
+MKDIR_P = @MKDIR_P@
MV = @MV@
+OBJEXT = @OBJEXT@
PACKAGE = @PACKAGE@
+PACKAGE_BUGREPORT = @PACKAGE_BUGREPORT@
+PACKAGE_NAME = @PACKAGE_NAME@
+PACKAGE_STRING = @PACKAGE_STRING@
+PACKAGE_TARNAME = @PACKAGE_TARNAME@
+PACKAGE_VERSION = @PACKAGE_VERSION@
+PATH_SEPARATOR = @PATH_SEPARATOR@
RM = @RM@
SED = @SED@
+SET_MAKE = @SET_MAKE@
+SHELL = @SHELL@
STRIP = @STRIP@
VERSION = @VERSION@
+abs_builddir = @abs_builddir@
+abs_srcdir = @abs_srcdir@
+abs_top_builddir = @abs_top_builddir@
+abs_top_srcdir = @abs_top_srcdir@
+ac_ct_CC = @ac_ct_CC@
am__include = @am__include@
+am__leading_dot = @am__leading_dot@
am__quote = @am__quote@
+am__tar = @am__tar@
+am__untar = @am__untar@
+bindir = @bindir@
+build = @build@
+build_alias = @build_alias@
+build_cpu = @build_cpu@
+build_os = @build_os@
+build_vendor = @build_vendor@
+builddir = @builddir@
+datadir = @datadir@
+datarootdir = @datarootdir@
+docdir = @docdir@
+dvidir = @dvidir@
+exec_prefix = @exec_prefix@
+host = @host@
+host_alias = @host_alias@
+host_cpu = @host_cpu@
+host_os = @host_os@
+host_vendor = @host_vendor@
+htmldir = @htmldir@
+includedir = @includedir@
+infodir = @infodir@
install_sh = @install_sh@
-
+libdir = @libdir@
+libexecdir = @libexecdir@
+localedir = @localedir@
+localstatedir = @localstatedir@
+mandir = @mandir@
+mkdir_p = @mkdir_p@
+oldincludedir = @oldincludedir@
+pdfdir = @pdfdir@
+prefix = @prefix@
+program_transform_name = @program_transform_name@
+psdir = @psdir@
+sbindir = @sbindir@
+sharedstatedir = @sharedstatedir@
+srcdir = @srcdir@
+sysconfdir = @sysconfdir@
+target = @target@
+target_alias = @target_alias@
+target_cpu = @target_cpu@
+target_os = @target_os@
+target_vendor = @target_vendor@
+top_builddir = @top_builddir@
+top_srcdir = @top_srcdir@
AUTOMAKE_OPTIONS = 1.5 foreign
-
SUFFIXES = .h .c .o .l .check
# Check files before compiling; requires splint!
# Some preferences
### We use the no-lines option to prevent confusion with splint flag settings.
### Should fix splint to avoid this...
-YFLAGS = -v -t -d --debug --no-lines
+YFLAGS = -v -t -d --debug
LFLAGS = -L
-
BISON_SRC = cgrammar.y llgrammar.y mtgrammar.y signature.y
-
-bin_PROGRAMS = splint
-
-EXTRA_PROGRAMS = lcl
-
AM_CPPFLAGS = -IHeaders
-
SETSRC = globSet.c intSet.c typeIdSet.c guardSet.c usymIdSet.c sRefSet.c
-
LISTSRC = clauseStack.c filelocStack.c \
cstringList.c cstringSList.c sRefSetList.c ctypeList.c \
enumNameList.c enumNameSList.c exprNodeList.c exprNodeSList.c \
uentryList.c fileIdList.c filelocList.c qualList.c sRefList.c \
flagMarkerList.c idDeclList.c flagSpec.c
-
CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.c
-
CSRC = context.c uentry.c cprim.c macrocache.c qual.c qtype.c stateClause.c \
stateClauseList.c ctype.c cvar.c clabstract.c idDecl.c clause.c \
globalsClause.c modifiesClause.c warnClause.c functionClause.c \
functionClauseList.c metaStateConstraint.c metaStateConstraintList.c \
metaStateExpression.c metaStateSpecifier.c functionConstraint.c \
- pointers.c
-
+ pointers.c cscannerHelp.c
SPLINTSRC = exprNode.c exprChecks.c llmain.c help.c rcfiles.c
CHECKSRC = structNames.c transferChecks.c varKinds.c nameChecks.c
-
GLOBSRC = globals.c flags.c general.c osd.c reader.c mtreader.c
-
GRAMSRC = cgrammar.c cscanner.c mtscanner.c mtgrammar.c llgrammar.c signature.c
-
-OVERFLOWCHSRC = constraintGeneration.c constraintTerm.c \
+OVERFLOWCHSRC = constraintList.c constraintResolve.c \
+ constraintGeneration.c constraintTerm.c \
constraintExprData.c constraintExpr.c constraint.c \
- constraintList.c constraintResolve.c \
- constraintOutput.c loopHeuristics.c
-
+ loopHeuristics.c
GENERALSRC = exprData.c cstring.c fileloc.c message.c inputStream.c \
fileTable.c cstringTable.c valueTable.c stateValue.c \
sRefTable.c genericTable.c ekind.c usymtab.c multiVal.c \
lltok.c sRef.c lcllib.c randomNumbers.c fileLib.c
-
METASTATESRC = stateInfo.c stateCombinationTable.c metaStateTable.c \
metaStateInfo.c annotationTable.c annotationInfo.c mttok.c \
mtDeclarationNode.c mtDeclarationPieces.c mtDeclarationPiece.c \
mtDefaultsDeclList.c mtDefaultsDecl.c mtMergeItem.c \
mtMergeClause.c mtMergeClauseList.c
-
LCLONLYSRC = usymtab_interface.c abstract.c ltoken.c lclscanline.c \
lclsyntable.c lcltokentable.c sort.c symtable.c lclinit.c \
shift.c lclscan.c lsymbol.c mapping.c
-
LSLSRC = tokentable.c scan.c scanline.c lslparse.c \
lh.c checking.c lclctypes.c imports.c lslinit.c syntable.c
-
LCLSETSRC = lsymbolSet.c sigNodeSet.c lslOpSet.c sortSet.c
-
LCLLISTSRC = initDeclNodeList.c sortList.c declaratorInvNodeList.c \
interfaceNodeList.c sortSetList.c declaratorNodeList.c \
letDeclNodeList.c stDeclNodeList.c storeRefNodeList.c \
varDeclarationNodeList.c varNodeList.c quantifierNodeList.c \
replaceNodeList.c importNodeList.c
-
HEADERSRC = Headers/abstBodyNode.h Headers/ltokenList.h \
Headers/abstract.h Headers/macrocache.h \
Headers/abstractNode.h Headers/mapping.h \
Headers/declaratorInvNodeList.h Headers/pairNodeList.h \
Headers/declaratorNode.h Headers/paramNode.h \
Headers/declaratorNodeList.h Headers/paramNodeList.h \
- Headers/dmalloc.h Headers/portab.h \
+ Headers/dmalloc.h Headers/osd.h \
Headers/ekind.h Headers/pp.h \
Headers/enumNameList.h Headers/privateNode.h \
Headers/enumNameSList.h Headers/programNode.h \
Headers/letDeclNodeList.h Headers/typeNameNodeList.h \
Headers/lh.h Headers/typeNamePack.h \
Headers/limwr.h Headers/typeNode.h \
- Headers/llbasic.h Headers/uentry.h \
+ Headers/uentry.h \
Headers/llerror.h Headers/uentryList.h \
Headers/llglobals.h Headers/usymId.h \
Headers/llgrammar2.h Headers/usymIdSet.h \
- Headers/llgrammar_gen2.h Headers/usymtab-branch.h \
+ Headers/llgrammar_gen2.h \
Headers/llgrammar_gen.h Headers/usymtab.h \
Headers/llgrammar.h Headers/usymtab_interface.h \
Headers/llmain.h Headers/valueMatrix.h \
Headers/lsymbolList.h Headers/warnClause.h \
Headers/lsymbolSet.h Headers/ynm.h \
Headers/ltoken.h Headers/splintMacros.nf \
+ Headers/typeId.h \
Headers/pointers.h Headers/mstring.h Headers/help.h
-
IFILES = ctbase.i cttable.i exprDataQuite.i
-
EXTRA_DIST = $(BISON_SRC) bison.head bison.reset $(HEADERSRC) \
flags.def cscanner.l flex.head flex.reset $(IFILES) \
+ .splintrc LICENSE \
+ Headers/cscannerHelp.h \
Headers/256_random_numbers.nf Headers/splintMacros.nf Headers/reservedNames.nf
#Makefile.binary.am Makefile.binary.in
llgrammar.c.der
DER_FILES = $(DER_BISON_FILES)
-
COMMONSRC = $(CPPSRC) $(CSRC) $(CHECKSRC) $(GENERALSRC) \
$(GLOBSRC) $(IFACESRC) $(LISTSRC) $(SETSRC) $(METASTATESRC)
-
ALLSRC = $(GRAMSRC) $(COMMONSRC) $(SPLINTSRC) $(OVERFLOWCHSRC) $(DER_FILES) $(HEADERSRC)
#files to run Splint on
-LINTSRC = $(COMMONSRC) $(SPLINTSRC) cscanner.c cgrammar.c
-
+LINTSRC = $(COMMONSRC) $(SPLINTSRC)
+# cscanner.c cgrammar.c
#ALLSRC = $(COMMONSRC) $(SPLINTSRC) $(DER_FILES) $(HEADERSRC)
LCLSRC = $(LCLSETSRC) $(LCLLISTSRC) $(LSLSRC) $(CMNSRC) $(LCLONLYSRC)
lcl_SOURCES = $(LCLSRC)
-
splint_SOURCES = $(ALLSRC)
splint_LDADD = $(LCLOBJ) @LEXLIB@
# Ensure the LCL objects get built if needed
splint_DEPENDENCIES = $(LCLOBJ)
-
BUILT_SOURCES = Headers/signature_gen.h Headers/cgrammar_tokens.h \
Headers/llgrammar_gen.h Headers/llgrammar_gen2.h \
Headers/mtgrammar_tokens.h signature.c cgrammar.c \
llgrammar.c mtgrammar.c Headers/flag_codes.gen \
$(DER_FILES)
-
CHECKS = $(subst .c,.check,$(splint_SOURCES))
-
binDir = bin
-
CLEANFILES = splint$(EXEEXT) ../$(top_builddir)/$(binDir)/splint$(EXEEXT)
-subdir = src
-mkinstalldirs = $(SHELL) $(top_srcdir)/config/mkinstalldirs
-CONFIG_HEADER = $(top_builddir)/config.h
-CONFIG_CLEAN_FILES =
-EXTRA_PROGRAMS = lcl$(EXEEXT)
-bin_PROGRAMS = splint$(EXEEXT)
-PROGRAMS = $(bin_PROGRAMS)
-
-am__objects_1 = lsymbolSet.$(OBJEXT) sigNodeSet.$(OBJEXT) \
- lslOpSet.$(OBJEXT) sortSet.$(OBJEXT)
-am__objects_2 = initDeclNodeList.$(OBJEXT) sortList.$(OBJEXT) \
- declaratorInvNodeList.$(OBJEXT) interfaceNodeList.$(OBJEXT) \
- sortSetList.$(OBJEXT) declaratorNodeList.$(OBJEXT) \
- letDeclNodeList.$(OBJEXT) stDeclNodeList.$(OBJEXT) \
- storeRefNodeList.$(OBJEXT) lslOpList.$(OBJEXT) \
- lsymbolList.$(OBJEXT) termNodeList.$(OBJEXT) \
- ltokenList.$(OBJEXT) traitRefNodeList.$(OBJEXT) \
- pairNodeList.$(OBJEXT) typeNameNodeList.$(OBJEXT) \
- fcnNodeList.$(OBJEXT) paramNodeList.$(OBJEXT) \
- programNodeList.$(OBJEXT) varDeclarationNodeList.$(OBJEXT) \
- varNodeList.$(OBJEXT) quantifierNodeList.$(OBJEXT) \
- replaceNodeList.$(OBJEXT) importNodeList.$(OBJEXT)
-am__objects_3 = tokentable.$(OBJEXT) scan.$(OBJEXT) scanline.$(OBJEXT) \
- lslparse.$(OBJEXT) lh.$(OBJEXT) checking.$(OBJEXT) \
- lclctypes.$(OBJEXT) imports.$(OBJEXT) lslinit.$(OBJEXT) \
- syntable.$(OBJEXT)
-am__objects_5 = usymtab_interface.$(OBJEXT) abstract.$(OBJEXT) \
- ltoken.$(OBJEXT) lclscanline.$(OBJEXT) lclsyntable.$(OBJEXT) \
- lcltokentable.$(OBJEXT) sort.$(OBJEXT) symtable.$(OBJEXT) \
- lclinit.$(OBJEXT) shift.$(OBJEXT) lclscan.$(OBJEXT) \
- lsymbol.$(OBJEXT) mapping.$(OBJEXT)
-am__objects_6 = $(am__objects_1) $(am__objects_2) $(am__objects_3) \
- $(am__objects_4) $(am__objects_5)
-am_lcl_OBJECTS = $(am__objects_6)
-lcl_OBJECTS = $(am_lcl_OBJECTS)
-lcl_LDADD = $(LDADD)
-lcl_DEPENDENCIES =
-lcl_LDFLAGS =
-am__objects_7 = cgrammar.$(OBJEXT) cscanner.$(OBJEXT) \
- mtscanner.$(OBJEXT) mtgrammar.$(OBJEXT) llgrammar.$(OBJEXT) \
- signature.$(OBJEXT)
-am__objects_8 = cppmain.$(OBJEXT) cpplib.$(OBJEXT) cppexp.$(OBJEXT) \
- cpphash.$(OBJEXT) cpperror.$(OBJEXT)
-am__objects_9 = context.$(OBJEXT) uentry.$(OBJEXT) cprim.$(OBJEXT) \
- macrocache.$(OBJEXT) qual.$(OBJEXT) qtype.$(OBJEXT) \
- stateClause.$(OBJEXT) stateClauseList.$(OBJEXT) ctype.$(OBJEXT) \
- cvar.$(OBJEXT) clabstract.$(OBJEXT) idDecl.$(OBJEXT) \
- clause.$(OBJEXT) globalsClause.$(OBJEXT) \
- modifiesClause.$(OBJEXT) warnClause.$(OBJEXT) \
- functionClause.$(OBJEXT) functionClauseList.$(OBJEXT) \
- metaStateConstraint.$(OBJEXT) metaStateConstraintList.$(OBJEXT) \
- metaStateExpression.$(OBJEXT) metaStateSpecifier.$(OBJEXT) \
- functionConstraint.$(OBJEXT) pointers.$(OBJEXT)
-am__objects_10 = structNames.$(OBJEXT) transferChecks.$(OBJEXT) \
- varKinds.$(OBJEXT) nameChecks.$(OBJEXT)
-am__objects_11 = exprData.$(OBJEXT) cstring.$(OBJEXT) fileloc.$(OBJEXT) \
- message.$(OBJEXT) inputStream.$(OBJEXT) fileTable.$(OBJEXT) \
- cstringTable.$(OBJEXT) valueTable.$(OBJEXT) \
- stateValue.$(OBJEXT) llerror.$(OBJEXT) messageLog.$(OBJEXT) \
- flagMarker.$(OBJEXT) aliasTable.$(OBJEXT) ynm.$(OBJEXT) \
- sRefTable.$(OBJEXT) genericTable.$(OBJEXT) ekind.$(OBJEXT) \
- usymtab.$(OBJEXT) multiVal.$(OBJEXT) lltok.$(OBJEXT) \
- sRef.$(OBJEXT) lcllib.$(OBJEXT) randomNumbers.$(OBJEXT) \
- fileLib.$(OBJEXT)
-am__objects_12 = globals.$(OBJEXT) flags.$(OBJEXT) general.$(OBJEXT) \
- osd.$(OBJEXT) reader.$(OBJEXT) mtreader.$(OBJEXT)
-am__objects_13 = clauseStack.$(OBJEXT) filelocStack.$(OBJEXT) \
- cstringList.$(OBJEXT) cstringSList.$(OBJEXT) \
- sRefSetList.$(OBJEXT) ctypeList.$(OBJEXT) \
- enumNameList.$(OBJEXT) enumNameSList.$(OBJEXT) \
- exprNodeList.$(OBJEXT) exprNodeSList.$(OBJEXT) \
- uentryList.$(OBJEXT) fileIdList.$(OBJEXT) filelocList.$(OBJEXT) \
- qualList.$(OBJEXT) sRefList.$(OBJEXT) flagMarkerList.$(OBJEXT) \
- idDeclList.$(OBJEXT) flagSpec.$(OBJEXT)
-am__objects_14 = globSet.$(OBJEXT) intSet.$(OBJEXT) typeIdSet.$(OBJEXT) \
- guardSet.$(OBJEXT) usymIdSet.$(OBJEXT) sRefSet.$(OBJEXT)
-am__objects_15 = stateInfo.$(OBJEXT) stateCombinationTable.$(OBJEXT) \
- metaStateTable.$(OBJEXT) metaStateInfo.$(OBJEXT) \
- annotationTable.$(OBJEXT) annotationInfo.$(OBJEXT) \
- mttok.$(OBJEXT) mtDeclarationNode.$(OBJEXT) \
- mtDeclarationPieces.$(OBJEXT) mtDeclarationPiece.$(OBJEXT) \
- mtContextNode.$(OBJEXT) mtValuesNode.$(OBJEXT) \
- mtDefaultsNode.$(OBJEXT) mtAnnotationsNode.$(OBJEXT) \
- mtMergeNode.$(OBJEXT) mtAnnotationList.$(OBJEXT) \
- mtAnnotationDecl.$(OBJEXT) mtTransferClauseList.$(OBJEXT) \
- mtTransferClause.$(OBJEXT) mtTransferAction.$(OBJEXT) \
- mtLoseReferenceList.$(OBJEXT) mtLoseReference.$(OBJEXT) \
- mtDefaultsDeclList.$(OBJEXT) mtDefaultsDecl.$(OBJEXT) \
- mtMergeItem.$(OBJEXT) mtMergeClause.$(OBJEXT) \
- mtMergeClauseList.$(OBJEXT)
-am__objects_16 = $(am__objects_8) $(am__objects_9) $(am__objects_10) \
- $(am__objects_11) $(am__objects_12) $(am__objects_4) \
- $(am__objects_13) $(am__objects_14) $(am__objects_15)
-am__objects_17 = exprNode.$(OBJEXT) exprChecks.$(OBJEXT) \
- llmain.$(OBJEXT) help.$(OBJEXT) rcfiles.$(OBJEXT)
-am__objects_18 = constraintGeneration.$(OBJEXT) constraintTerm.$(OBJEXT) \
- constraintExprData.$(OBJEXT) constraintExpr.$(OBJEXT) \
- constraint.$(OBJEXT) constraintList.$(OBJEXT) \
- constraintResolve.$(OBJEXT) constraintOutput.$(OBJEXT) \
- loopHeuristics.$(OBJEXT)
-am__objects_19 =
-am__objects_20 = $(am__objects_19)
-am__objects_21 = $(am__objects_7) $(am__objects_16) $(am__objects_17) \
- $(am__objects_18) $(am__objects_20) $(am__objects_19)
-am_splint_OBJECTS = $(am__objects_21)
-splint_OBJECTS = $(am_splint_OBJECTS)
-splint_LDFLAGS =
-
-DEFS = @DEFS@
-DEFAULT_INCLUDES = -I. -I$(srcdir) -I$(top_builddir)
-CPPFLAGS = @CPPFLAGS@
-LDFLAGS = @LDFLAGS@
-LIBS = @LIBS@
-depcomp = $(SHELL) $(top_srcdir)/config/depcomp
-am__depfiles_maybe = depfiles
-@AMDEP_TRUE@DEP_FILES = ./$(DEPDIR)/abstract.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/aliasTable.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/annotationInfo.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/annotationTable.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/cgrammar.Po ./$(DEPDIR)/checking.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/clabstract.Po ./$(DEPDIR)/clause.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/clauseStack.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/constraint.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/constraintExpr.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/constraintExprData.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/constraintGeneration.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/constraintList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/constraintOutput.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/constraintResolve.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/constraintTerm.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/context.Po ./$(DEPDIR)/cpperror.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/cppexp.Po ./$(DEPDIR)/cpphash.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/cpplib.Po ./$(DEPDIR)/cppmain.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/cprim.Po ./$(DEPDIR)/cscanner.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/cstring.Po ./$(DEPDIR)/cstringList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/cstringSList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/cstringTable.Po ./$(DEPDIR)/ctype.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/ctypeList.Po ./$(DEPDIR)/cvar.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/declaratorInvNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/declaratorNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/ekind.Po ./$(DEPDIR)/enumNameList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/enumNameSList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/exprChecks.Po ./$(DEPDIR)/exprData.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/exprNode.Po ./$(DEPDIR)/exprNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/exprNodeSList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/fcnNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/fileIdList.Po ./$(DEPDIR)/fileLib.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/fileTable.Po ./$(DEPDIR)/fileloc.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/filelocList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/filelocStack.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/flagMarker.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/flagMarkerList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/flagSpec.Po ./$(DEPDIR)/flags.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/functionClause.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/functionClauseList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/functionConstraint.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/general.Po ./$(DEPDIR)/genericTable.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/globSet.Po ./$(DEPDIR)/globals.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/globalsClause.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/guardSet.Po ./$(DEPDIR)/help.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/idDecl.Po ./$(DEPDIR)/idDeclList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/importNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/imports.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/initDeclNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/inputStream.Po ./$(DEPDIR)/intSet.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/interfaceNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/lclctypes.Po ./$(DEPDIR)/lclinit.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/lcllib.Po ./$(DEPDIR)/lclscan.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/lclscanline.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/lclsyntable.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/lcltokentable.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/letDeclNodeList.Po ./$(DEPDIR)/lh.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/llerror.Po ./$(DEPDIR)/llgrammar.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/llmain.Po ./$(DEPDIR)/lltok.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/loopHeuristics.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/lslOpList.Po ./$(DEPDIR)/lslOpSet.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/lslinit.Po ./$(DEPDIR)/lslparse.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/lsymbol.Po ./$(DEPDIR)/lsymbolList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/lsymbolSet.Po ./$(DEPDIR)/ltoken.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/ltokenList.Po ./$(DEPDIR)/macrocache.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mapping.Po ./$(DEPDIR)/message.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/messageLog.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/metaStateConstraint.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/metaStateConstraintList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/metaStateExpression.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/metaStateInfo.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/metaStateSpecifier.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/metaStateTable.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/modifiesClause.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtAnnotationDecl.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtAnnotationList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtAnnotationsNode.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtContextNode.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtDeclarationNode.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtDeclarationPiece.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtDeclarationPieces.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtDefaultsDecl.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtDefaultsDeclList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtDefaultsNode.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtLoseReference.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtLoseReferenceList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtMergeClause.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtMergeClauseList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtMergeItem.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtMergeNode.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtTransferAction.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtTransferClause.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtTransferClauseList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtValuesNode.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtgrammar.Po ./$(DEPDIR)/mtreader.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/mtscanner.Po ./$(DEPDIR)/mttok.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/multiVal.Po ./$(DEPDIR)/nameChecks.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/osd.Po ./$(DEPDIR)/pairNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/paramNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/pointers.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/programNodeList.Po ./$(DEPDIR)/qtype.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/qual.Po ./$(DEPDIR)/qualList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/quantifierNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/randomNumbers.Po ./$(DEPDIR)/rcfiles.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/reader.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/replaceNodeList.Po ./$(DEPDIR)/sRef.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/sRefList.Po ./$(DEPDIR)/sRefSet.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/sRefSetList.Po ./$(DEPDIR)/sRefTable.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/scan.Po ./$(DEPDIR)/scanline.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/shift.Po ./$(DEPDIR)/sigNodeSet.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/signature.Po ./$(DEPDIR)/sort.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/sortList.Po ./$(DEPDIR)/sortSet.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/sortSetList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/stDeclNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/stateClause.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/stateClauseList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/stateCombinationTable.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/stateInfo.Po ./$(DEPDIR)/stateValue.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/storeRefNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/structNames.Po ./$(DEPDIR)/symtable.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/syntable.Po ./$(DEPDIR)/termNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/tokentable.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/traitRefNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/transferChecks.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/typeIdSet.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/typeNameNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/uentry.Po ./$(DEPDIR)/uentryList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/usymIdSet.Po ./$(DEPDIR)/usymtab.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/usymtab_interface.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/valueTable.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/varDeclarationNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/varKinds.Po ./$(DEPDIR)/varNodeList.Po \
-@AMDEP_TRUE@ ./$(DEPDIR)/warnClause.Po ./$(DEPDIR)/ynm.Po
-COMPILE = $(CC) $(DEFS) $(DEFAULT_INCLUDES) $(INCLUDES) $(AM_CPPFLAGS) \
- $(CPPFLAGS) $(AM_CFLAGS) $(CFLAGS)
-CCLD = $(CC)
-LINK = $(CCLD) $(AM_CFLAGS) $(CFLAGS) $(AM_LDFLAGS) $(LDFLAGS) -o $@
-CFLAGS = @CFLAGS@
-DIST_SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
-DIST_COMMON = Makefile.am Makefile.in
-SOURCES = $(lcl_SOURCES) $(splint_SOURCES)
-
all: $(BUILT_SOURCES)
$(MAKE) $(AM_MAKEFLAGS) all-am
.SUFFIXES:
.SUFFIXES: .h .c .o .l .check .obj
-$(srcdir)/Makefile.in: Makefile.am $(top_srcdir)/configure.ac $(ACLOCAL_M4)
+$(srcdir)/Makefile.in: $(srcdir)/Makefile.am $(am__configure_deps)
+ @for dep in $?; do \
+ case '$(am__configure_deps)' in \
+ *$$dep*) \
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh \
+ && exit 0; \
+ exit 1;; \
+ esac; \
+ done; \
+ echo ' cd $(top_srcdir) && $(AUTOMAKE) --foreign src/Makefile'; \
cd $(top_srcdir) && \
$(AUTOMAKE) --foreign src/Makefile
-Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
- cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)
-binPROGRAMS_INSTALL = $(INSTALL_PROGRAM)
+.PRECIOUS: Makefile
+Makefile: $(srcdir)/Makefile.in $(top_builddir)/config.status
+ @case '$?' in \
+ *config.status*) \
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh;; \
+ *) \
+ echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
+ cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
+ esac;
+
+$(top_builddir)/config.status: $(top_srcdir)/configure $(CONFIG_STATUS_DEPENDENCIES)
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
+
+$(top_srcdir)/configure: $(am__configure_deps)
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
+$(ACLOCAL_M4): $(am__aclocal_m4_deps)
+ cd $(top_builddir) && $(MAKE) $(AM_MAKEFLAGS) am--refresh
install-binPROGRAMS: $(bin_PROGRAMS)
@$(NORMAL_INSTALL)
- $(mkinstalldirs) $(DESTDIR)$(bindir)
+ test -z "$(bindir)" || $(MKDIR_P) "$(DESTDIR)$(bindir)"
@list='$(bin_PROGRAMS)'; for p in $$list; do \
p1=`echo $$p|sed 's/$(EXEEXT)$$//'`; \
if test -f $$p \
; then \
f=`echo "$$p1" | sed 's,^.*/,,;$(transform);s/$$/$(EXEEXT)/'`; \
- echo " $(INSTALL_PROGRAM_ENV) $(binPROGRAMS_INSTALL) $$p $(DESTDIR)$(bindir)/$$f"; \
- $(INSTALL_PROGRAM_ENV) $(binPROGRAMS_INSTALL) $$p $(DESTDIR)$(bindir)/$$f; \
+ echo " $(INSTALL_PROGRAM_ENV) $(binPROGRAMS_INSTALL) '$$p' '$(DESTDIR)$(bindir)/$$f'"; \
+ $(INSTALL_PROGRAM_ENV) $(binPROGRAMS_INSTALL) "$$p" "$(DESTDIR)$(bindir)/$$f" || exit 1; \
else :; fi; \
done
@$(NORMAL_UNINSTALL)
@list='$(bin_PROGRAMS)'; for p in $$list; do \
f=`echo "$$p" | sed 's,^.*/,,;s/$(EXEEXT)$$//;$(transform);s/$$/$(EXEEXT)/'`; \
- echo " rm -f $(DESTDIR)$(bindir)/$$f"; \
- rm -f $(DESTDIR)$(bindir)/$$f; \
+ echo " rm -f '$(DESTDIR)$(bindir)/$$f'"; \
+ rm -f "$(DESTDIR)$(bindir)/$$f"; \
done
clean-binPROGRAMS:
-test -z "$(bin_PROGRAMS)" || rm -f $(bin_PROGRAMS)
splint$(EXEEXT): $(splint_OBJECTS) $(splint_DEPENDENCIES)
@rm -f splint$(EXEEXT)
- $(LINK) $(splint_LDFLAGS) $(splint_OBJECTS) $(splint_LDADD) $(LIBS)
+ $(LINK) $(splint_OBJECTS) $(splint_LDADD) $(LIBS)
mostlyclean-compile:
- -rm -f *.$(OBJEXT) core *.core
+ -rm -f *.$(OBJEXT)
distclean-compile:
-rm -f *.tab.c
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintExprData.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintGeneration.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintList.Po@am__quote@
-@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintOutput.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintResolve.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/constraintTerm.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/context.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cppmain.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cprim.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cscanner.Po@am__quote@
+@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cscannerHelp.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cstring.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cstringList.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/cstringSList.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/warnClause.Po@am__quote@
@AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/ynm.Po@am__quote@
-distclean-depend:
- -rm -rf ./$(DEPDIR)
-
.c.obj:
-@AMDEP_TRUE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
-@AMDEP_TRUE@ depfile='$(DEPDIR)/$*.Po' tmpdepfile='$(DEPDIR)/$*.TPo' @AMDEPBACKSLASH@
-@AMDEP_TRUE@ $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
- $(COMPILE) -c `cygpath -w $<`
-CCDEPMODE = @CCDEPMODE@
-uninstall-info-am:
-
-ETAGS = etags
-ETAGSFLAGS =
-
-tags: TAGS
+@am__fastdepCC_TRUE@ $(COMPILE) -MT $@ -MD -MP -MF $(DEPDIR)/$*.Tpo -c -o $@ `$(CYGPATH_W) '$<'`
+@am__fastdepCC_TRUE@ mv -f $(DEPDIR)/$*.Tpo $(DEPDIR)/$*.Po
+@AMDEP_TRUE@@am__fastdepCC_FALSE@ source='$<' object='$@' libtool=no @AMDEPBACKSLASH@
+@AMDEP_TRUE@@am__fastdepCC_FALSE@ DEPDIR=$(DEPDIR) $(CCDEPMODE) $(depcomp) @AMDEPBACKSLASH@
+@am__fastdepCC_FALSE@ $(COMPILE) -c `$(CYGPATH_W) '$<'`
ID: $(HEADERS) $(SOURCES) $(LISP) $(TAGS_FILES)
list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
unique=`for i in $$list; do \
if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
done | \
- $(AWK) ' { files[$$0] = 1; } \
- END { for (i in files) print i; }'`; \
+ $(AWK) '{ files[$$0] = 1; nonemtpy = 1; } \
+ END { if (nonempty) { for (i in files) print i; }; }'`; \
mkid -fID $$unique
+tags: TAGS
TAGS: $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \
$(TAGS_FILES) $(LISP)
unique=`for i in $$list; do \
if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
done | \
- $(AWK) ' { files[$$0] = 1; } \
- END { for (i in files) print i; }'`; \
- test -z "$(ETAGS_ARGS)$$tags$$unique" \
- || $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
+ $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
+ END { if (nonempty) { for (i in files) print i; }; }'`; \
+ if test -z "$(ETAGS_ARGS)$$tags$$unique"; then :; else \
+ test -n "$$unique" || unique=$$empty_fix; \
+ $(ETAGS) $(ETAGSFLAGS) $(AM_ETAGSFLAGS) $(ETAGS_ARGS) \
+ $$tags $$unique; \
+ fi
+ctags: CTAGS
+CTAGS: $(HEADERS) $(SOURCES) $(TAGS_DEPENDENCIES) \
+ $(TAGS_FILES) $(LISP)
+ tags=; \
+ list='$(SOURCES) $(HEADERS) $(LISP) $(TAGS_FILES)'; \
+ unique=`for i in $$list; do \
+ if test -f "$$i"; then echo $$i; else echo $(srcdir)/$$i; fi; \
+ done | \
+ $(AWK) '{ files[$$0] = 1; nonempty = 1; } \
+ END { if (nonempty) { for (i in files) print i; }; }'`; \
+ test -z "$(CTAGS_ARGS)$$tags$$unique" \
+ || $(CTAGS) $(CTAGSFLAGS) $(AM_CTAGSFLAGS) $(CTAGS_ARGS) \
$$tags $$unique
GTAGS:
&& gtags -i $(GTAGS_ARGS) $$here
distclean-tags:
- -rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH
-DISTFILES = $(DIST_COMMON) $(DIST_SOURCES) $(TEXINFOS) $(EXTRA_DIST)
-
-top_distdir = ..
-distdir = $(top_distdir)/$(PACKAGE)-$(VERSION)
+ -rm -f TAGS ID GTAGS GRTAGS GSYMS GPATH tags
distdir: $(DISTFILES)
- $(mkinstalldirs) $(distdir)/Headers
- @list='$(DISTFILES)'; for file in $$list; do \
+ @srcdirstrip=`echo "$(srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
+ topsrcdirstrip=`echo "$(top_srcdir)" | sed 's/[].[^$$\\*]/\\\\&/g'`; \
+ list='$(DISTFILES)'; \
+ dist_files=`for file in $$list; do echo $$file; done | \
+ sed -e "s|^$$srcdirstrip/||;t" \
+ -e "s|^$$topsrcdirstrip/|$(top_builddir)/|;t"`; \
+ case $$dist_files in \
+ */*) $(MKDIR_P) `echo "$$dist_files" | \
+ sed '/\//!d;s|^|$(distdir)/|;s,/[^/]*$$,,' | \
+ sort -u` ;; \
+ esac; \
+ for file in $$dist_files; do \
if test -f $$file || test -d $$file; then d=.; else d=$(srcdir); fi; \
- dir=`echo "$$file" | sed -e 's,/[^/]*$$,,'`; \
- if test "$$dir" != "$$file" && test "$$dir" != "."; then \
- dir="/$$dir"; \
- $(mkinstalldirs) "$(distdir)$$dir"; \
- else \
- dir=''; \
- fi; \
if test -d $$d/$$file; then \
+ dir=`echo "/$$file" | sed -e 's,/[^/]*$$,,'`; \
if test -d $(srcdir)/$$file && test $$d != $(srcdir); then \
cp -pR $(srcdir)/$$file $(distdir)$$dir || exit 1; \
fi; \
fi; \
done
check-am: all-am
-check: check-am
+check: $(BUILT_SOURCES)
+ $(MAKE) $(AM_MAKEFLAGS) check-am
all-am: Makefile $(PROGRAMS)
-
installdirs:
- $(mkinstalldirs) $(DESTDIR)$(bindir)
-
-install: install-am
+ for dir in "$(DESTDIR)$(bindir)"; do \
+ test -z "$$dir" || $(MKDIR_P) "$$dir"; \
+ done
+install: $(BUILT_SOURCES)
+ $(MAKE) $(AM_MAKEFLAGS) install-am
install-exec: install-exec-am
install-data: install-data-am
uninstall: uninstall-am
installcheck: installcheck-am
install-strip:
$(MAKE) $(AM_MAKEFLAGS) INSTALL_PROGRAM="$(INSTALL_STRIP_PROGRAM)" \
- INSTALL_STRIP_FLAG=-s \
+ install_sh_PROGRAM="$(INSTALL_STRIP_PROGRAM)" INSTALL_STRIP_FLAG=-s \
`test -z '$(STRIP)' || \
echo "INSTALL_PROGRAM_ENV=STRIPPROG='$(STRIP)'"` install
mostlyclean-generic:
-test -z "$(CLEANFILES)" || rm -f $(CLEANFILES)
distclean-generic:
- -rm -f Makefile $(CONFIG_CLEAN_FILES)
+ -test -z "$(CONFIG_CLEAN_FILES)" || rm -f $(CONFIG_CLEAN_FILES)
maintainer-clean-generic:
@echo "This command is intended for maintainers to use"
clean-am: clean-binPROGRAMS clean-generic mostlyclean-am
distclean: distclean-am
-
-distclean-am: clean-am distclean-compile distclean-depend \
- distclean-generic distclean-tags
+ -rm -rf ./$(DEPDIR)
+ -rm -f Makefile
+distclean-am: clean-am distclean-compile distclean-generic \
+ distclean-tags
dvi: dvi-am
dvi-am:
+html: html-am
+
info: info-am
info-am:
install-data-am:
+install-dvi: install-dvi-am
+
install-exec-am: install-binPROGRAMS
+install-html: install-html-am
+
install-info: install-info-am
install-man:
+install-pdf: install-pdf-am
+
+install-ps: install-ps-am
+
installcheck-am:
maintainer-clean: maintainer-clean-am
-
+ -rm -rf ./$(DEPDIR)
+ -rm -f Makefile
maintainer-clean-am: distclean-am maintainer-clean-generic
mostlyclean: mostlyclean-am
mostlyclean-am: mostlyclean-compile mostlyclean-generic
-uninstall-am: uninstall-binPROGRAMS uninstall-info-am
+pdf: pdf-am
+
+pdf-am:
+
+ps: ps-am
+
+ps-am:
+
+uninstall-am: uninstall-binPROGRAMS
-.PHONY: GTAGS all all-am check check-am clean clean-binPROGRAMS \
- clean-generic distclean distclean-compile distclean-depend \
- distclean-generic distclean-tags distdir dvi dvi-am info \
- info-am install install-am install-binPROGRAMS install-data \
- install-data-am install-exec install-exec-am install-info \
- install-info-am install-man install-strip installcheck \
- installcheck-am installdirs maintainer-clean \
+.MAKE: install-am install-strip
+
+.PHONY: CTAGS GTAGS all all-am check check-am clean clean-binPROGRAMS \
+ clean-generic ctags distclean distclean-compile \
+ distclean-generic distclean-tags distdir dvi dvi-am html \
+ html-am info info-am install install-am install-binPROGRAMS \
+ install-data install-data-am install-dvi install-dvi-am \
+ install-exec install-exec-am install-html install-html-am \
+ install-info install-info-am install-man install-pdf \
+ install-pdf-am install-ps install-ps-am install-strip \
+ installcheck installcheck-am installdirs maintainer-clean \
maintainer-clean-generic mostlyclean mostlyclean-compile \
- mostlyclean-generic tags uninstall uninstall-am \
- uninstall-binPROGRAMS uninstall-info-am
+ mostlyclean-generic pdf pdf-am ps ps-am tags uninstall \
+ uninstall-am uninstall-binPROGRAMS
# Keep it fake
@echo "This is a fake target"; \
echo "Use configure's --with-lcl option to enable lcl"
+signature.c.der:
+ @if test x$(BISON) = xno; then \
+ echo "Cannot make signature.c.der because bison is not here" \
+ else \
+ echo '* Making signature.c'; \
+ $(BISON) $(YFLAGS) -p lsl signature.y; \
+ $(CAT) bison.head signature.tab.c bison.reset >signature.c; \
+ $(CP) signature.c signature.c.der; \
+ $(MV) Headers/signature_gen.h Headers/signature_gen.bak || true; \
+ $(CAT) bison.head signature.tab.h bison.reset >Headers/signature_gen.h; \
+ $(RM) signature.tab.c signature.tab.h; \
+ fi
+
Headers/signature_gen.h signature.c: signature.c.der signature.y
@if test x$(BISON) = xno; then \
$(CP) signature.c.der signature.c; \
$(CP) cgrammar.c.der cgrammar.c; \
else \
echo '* Making cgrammar.c'; \
- echo '* Expect 154 shift/reduce conflicts and 116 reduce/reduce conflicts.'; \
- echo '* (see cgrammar.y for explanation)'; \
+ echo '* Note: Expect 157 shift/reduce conflicts and 123 reduce/reduce conflicts. (see cgrammar.y for explanation)'; \
$(BISON) $(YFLAGS) cgrammar.y; \
$(CAT) bison.head cgrammar.tab.c bison.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' | $(SED) 's/lsllex/cgrammar_lsllex/g' > cgrammar.c; \
$(CP) cgrammar.c cgrammar.c.der; \
- $(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak; \
+ $(MV) Headers/cgrammar_tokens.h Headers/cgrammar_tokens.bak || true; \
$(CAT) bison.head cgrammar.tab.h bison.reset | $(SED) 's/YYSTYPE/cgrammar_YYSTYPE/g' | $(SED) 's/lsllex/cgrammar_lsllex/g' > Headers/cgrammar_tokens.h; \
$(RM) cgrammar.tab.c cgrammar.tab.h; \
fi
$(CP) mtgrammar.c.der mtgrammar.c; \
else \
echo '* Making mtgrammar.c'; \
- echo '* Expect 11 shift/reduce conflicts.'; \
+ echo '* Note: Expect 11 shift/reduce conflicts.'; \
$(BISON) $(YFLAGS) -p mt mtgrammar.y; \
$(CAT) bison.head mtgrammar.tab.c bison.reset >mtgrammar.c; \
$(CP) mtgrammar.c mtgrammar.c.der; \
$(CP) llgrammar.c.der llgrammar.c; \
else \
echo '* Making llgrammar.c'; \
- echo '* Expect 2 shift/reduce conflicts'; \
+ echo '* Note: Expect 2 shift/reduce conflicts'; \
$(BISON) $(YFLAGS) -p yl llgrammar.y; \
$(CAT) bison.head llgrammar.tab.c bison.reset >llgrammar.c; \
$(CP) llgrammar.c llgrammar.c.der; \
test:
${MAKE} ; cd ../test; ${MAKE} --no-print-directory
+.PHONY: libs
+libs:
+ ${MAKE} ; cd ../lib; ${MAKE} --no-print-directory
+
### Automake generates wrong tags
.PHONY: etags
etags:
lintnew: splintme
splintme:
- ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(OVERFLOWCHSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw
+ ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw -mts tainted
+
+splintmebounds:
+ ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw -mts tainted +bounds +impboundsconstraints
+
+splintmesupcounts:
+ ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(OVERFLOWCHSRC) $(LINTSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -incondefs -exportlocal -supcounts -constuse -mts file -mts filerw
+
+lintbuffercheck:
+ ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(OVERFLOWCHSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +bounds -DLINTBUFFERCHECK
valsplint:
valgrind -v --leak-resolution=high --num-callers=20 --show-reachable=no --leak-check=yes ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(OVERFLOWCHSRC) $(LCLSRC) -dump lclint +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -supcounts -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw
splinttest:
./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude test.c +forcehints -misplacedsharequal +showsourceloc -unrecogcomments -fcnuse -incondefs -exportlocal -constuse -mts file -mts filerw +keep +supcounts +partial -null
-lintbuffercheck:
- ./splint $(DEFAULT_INCLUDES) $(DEFS) $(INCLUDES) $(AM_CPPFLAGS) $(CPPFLAGS) +singleinclude $(LINTSRC) $(LCLSRC) -dump lclint \
- +forcehints -misplacedsharequal +showsourceloc -unrecogcomments \
- -supcounts -fcnuse -exportlocal -constuse -mts file -mts filerw +bounds +boundsread +implictconstraint -dLINTBUFFERCHECK
-
all: splint$(EXEEXT) ../$(top_builddir)/$(binDir)/splint$(EXEEXT)
../$(top_builddir)/$(binDir)/splint$(EXEEXT): splint$(EXEEXT)
andersk / splint.git / blobdiff