Lots of changes. Code is mostly annotated. Still lots of breaken stuff though.

[splint.git] / src / Makefile.sources

diff --git a/src/Makefile.sources b/src/Makefile.sources
index 6dfa8e485ee28a44fd8be45c7e3e537d0576905e..fe36fe00b5a84bb9238755af16bb362f635dfa4d 100644 (file)
--- a/src/Makefile.sources
+++ b/src/Makefile.sources
@@ -23,13 +23,13 @@ LCLINTSRC = exprNode.c exprChecks.c llmain.c
 GRAMS      = cgrammar.y cscanner.l llgrammar.y signature.y
 GRAMSRC    = cgrammar.c cscanner.c 
 
-GENERALSRC =     constraint.c \
-    constraintTerm.c \
+GENERALSRC =    constraintTerm.c \
     constraintExprData.c \
     constraintExpr.c \
+    constraint.c \
     constraintList.c \
-    constraintGeneration.c \
     constraintResolve.c \
+    constraintGeneration.c \
     constraintOutput.c \
     forjunk.c \
     cstring.c fileloc.c message.c source.c \