update Makefile

Author: abakst

CodeHawk/CHC/cchanalyze/Makefile

@@ -40,6 +40,7 @@ MLIS := \
 	cCHControlFlowGraph \
 	cCHExpTranslator \
 	cCHAssignmentTranslator \
+	cCHErrnoWritePredicateSymbol \
 	cCHCallTranslator \
 	cCHOperationsProvider \
 	cCHCfgTranslator \
@@ -106,6 +107,7 @@ SOURCES := \
 	cCHEnvironment \
 	cCHControlFlowGraph \
 	cCHOrakel \
+	cCHErrnoWritePredicateSymbol \
 	cCHExpTranslator \
 	cCHAssignmentTranslator \
 	cCHCallTranslator \
@@ -124,6 +126,7 @@ SOURCES := \
 	cCHPOCheckCommonBase \
 	cCHPOCheckCommonBaseType \
 	cCHPOCheckControlledResource \
+	cCHPOCheckErrnoWritten \
 	cCHPOCheckFormatCast \
 	cCHPOCheckInScope \
 	cCHPOCheckIndexLowerBound \

CodeHawk/CHC/cchpre/Makefile

@@ -69,6 +69,7 @@ MLIS := \
 	cCHCheckValid \
 	cCHCreatePrimaryProofObligations \
 	cCHCreateOutputParameterPOs \
+	cCHCreateErrnoPOs \
 
 CMIS := $(addprefix cmi/,$(MLIS:%=%.cmi))
 
@@ -108,6 +109,7 @@ SOURCES := \
 	cCHCheckValid \
 	cCHCreatePrimaryProofObligations \
 	cCHCreateOutputParameterPOs \
+	cCHCreateErrnoPOs \
 
 
 OBJECTS := $(addprefix cmx/,$(SOURCES:%=%.cmx))