EXtensive code clean up. Almost passes LCLint.

[splint.git] / src / Makefile.sources

diff --git a/src/Makefile.sources b/src/Makefile.sources
index 2baf3fa8f5d44663090cecc97be45cd7390ab2e0..6dfa8e485ee28a44fd8be45c7e3e537d0576905e 100644 (file)
--- a/src/Makefile.sources
+++ b/src/Makefile.sources
@@ -23,10 +23,20 @@ LCLINTSRC = exprNode.c exprChecks.c llmain.c
 GRAMS      = cgrammar.y cscanner.l llgrammar.y signature.y
 GRAMSRC    = cgrammar.c cscanner.c 
 
-GENERALSRC = cstring.c fileloc.c message.c source.c \
+GENERALSRC =     constraint.c \
+    constraintTerm.c \
+    constraintExprData.c \
+    constraintExpr.c \
+    constraintList.c \
+    constraintGeneration.c \
+    constraintResolve.c \
+    constraintOutput.c \
+    forjunk.c \
+    cstring.c fileloc.c message.c source.c \
     fileTable.c hashTable.c llerror.c messageLog.c \
     flagMarker.c aliasTable.c ynm.c sRefTable.c \
-    ekind.c usymtab.c multiVal.c lltok.c sRef.c lcllib.c 
+    ekind.c usymtab.c multiVal.c lltok.c sRef.c lcllib.c \
+    exprData.c
 
 ###
 ### These source files are relevant for LCL only.