X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/92c4a78635fd7baf52eb7ede90b735be84089dd7..84c9ffbf30db7d2e74209383daaf61c3a82149e4:/src/Makefile.sources

diff --git a/src/Makefile.sources b/src/Makefile.sources
index a936d99..6dfa8e4 100644
--- a/src/Makefile.sources
+++ b/src/Makefile.sources
@@ -23,16 +23,17 @@ 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 \
-    fileTable.c hashTable.c llerror.c messageLog.c \
-    constraint.c \
+GENERALSRC =     constraint.c \
     constraintTerm.c \
-    constraintExpr.c \
     constraintExprData.c \
-    constraintResolve.c \
-    environmentTable.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 \
     exprData.c