aboutsummaryrefslogtreecommitdiffstats
path: root/Makefile
diff options
context:
space:
mode:
authorBernhard Schommer <bernhardschommer@gmail.com>2015-02-19 17:24:01 +0100
committerBernhard Schommer <bernhardschommer@gmail.com>2015-02-19 17:24:01 +0100
commit959542e4cf126c4f46f00c764b5365804de637c6 (patch)
tree58eb44d941b65d15537a5c53bccd8257030aadf2 /Makefile
parentb0c09b32f3e559ca22afc4dc40fdd60964cb3292 (diff)
parentb0eb1dfc9fd7b15c556c49101390d882b0f00f8a (diff)
downloadcompcert-959542e4cf126c4f46f00c764b5365804de637c6.tar.gz
compcert-959542e4cf126c4f46f00c764b5365804de637c6.zip
Merge github.com:AbsInt/CompCert into compcert_windows
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile b/Makefile
index c7e6414e..3a684743 100644
--- a/Makefile
+++ b/Makefile
@@ -89,7 +89,7 @@ BACKEND=\
# C front-end modules (in cfrontend/)
-CFRONTEND=Ctypes.v Cop.v Csyntax.v Csem.v Cstrategy.v Cexec.v \
+CFRONTEND=Ctypes.v Cop.v Csyntax.v Csem.v Ctyping.v Cstrategy.v Cexec.v \
Initializers.v Initializersproof.v \
SimplExpr.v SimplExprspec.v SimplExprproof.v \
Clight.v ClightBigstep.v SimplLocals.v SimplLocalsproof.v \