diff options
Diffstat (limited to 'extraction/Makefile')
| -rw-r--r-- | extraction/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extraction/Makefile b/extraction/Makefile index 54933cc..044f89f 100644 --- a/extraction/Makefile +++ b/extraction/Makefile @@ -22,6 +22,7 @@ FILES=\ Coqlib.ml Maps.ml Ordered.ml Errors.ml AST.ml Iteration.ml Integers.ml \ ../caml/Camlcoq.ml ../caml/Floataux.ml Floats.ml Parmov.ml Values.ml \ Mem.ml Globalenvs.ml \ + ../caml/Clflags.ml \ Csyntax.ml Ctyping.ml Cminor.ml Csharpminor.ml Cshmgen.ml \ Cminorgen.ml \ Op.ml CminorSel.ml \ |