X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/28bf4b0bfd405a2057d865910f8589c54a40f17b..5b99bfd6792ab9229bb5b1d9048833d21b22ecef:/src/Makefile.sources

diff --git a/src/Makefile.sources b/src/Makefile.sources
index 6574cc0..3cbacf5 100644
--- a/src/Makefile.sources
+++ b/src/Makefile.sources
@@ -15,7 +15,8 @@ CPPSRC = cppmain.c cpplib.c cppexp.c cpphash.c cpperror.c
 CSRC = 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
+   functionClauseList.c metaStateConstraint.c metaStateConstraintList.c metaStateExpression.c \
+   metaStateSpecifier.c functionConstraint.c
 
 LCLINTSRC = exprNode.c exprChecks.c llmain.c
  CHECKSRC   = structNames.c transferChecks.c varKinds.c nameChecks.c
@@ -26,15 +27,15 @@ GRAMS      = cgrammar.y cscanner.l llgrammar.y signature.y mtgrammar.y
 GRAMSRC    = cgrammar.c cscanner.c mtscanner.c mtreader.c mtgrammar.c
 
 OVERFLOWCHSRC = \
+    constraintGeneration.c \
     constraintTerm.c \
     constraintExprData.c \
     constraintExpr.c \
     constraint.c \
     constraintList.c \
     constraintResolve.c \
-    constraintGeneration.c \
     constraintOutput.c \
-    forjunk.c 
+    loopHeuristics.c 
     
 GENERALSRC =  \
     exprData.c \