diff options
Diffstat (limited to 'extraction/Makefile')
| -rw-r--r-- | extraction/Makefile | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/extraction/Makefile b/extraction/Makefile index 04878c7..72bf244 100644 --- a/extraction/Makefile +++ b/extraction/Makefile @@ -6,6 +6,8 @@ FILES=\ Coqlib.ml Maps.ml Sets.ml AST.ml Iteration.ml Integers.ml \ ../caml/Camlcoq.ml ../caml/Floataux.ml Floats.ml Parmov.ml Values.ml \ Mem.ml Globalenvs.ml \ + csyntax.ml ctyping.ml \ + cshmgen.ml \ Op.ml Cminor.ml Cmconstr.ml \ Csharpminor.ml Cminorgen.ml \ Registers.ml RTL.ml \ |