diff options
| author | tristan <tristan@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-06 13:36:46 +0000 |
|---|---|---|
| committer | tristan <tristan@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-06 13:36:46 +0000 |
| commit | e231ac08558e959f2ea2664082c62ced9e485c1b (patch) | |
| tree | 8b021f3b7b16bfa908fbd6c792478645f02c5c77 /extraction/Makefile | |
| parent | 5525293cb8e2cfe371e0f195227918a6726904bd (diff) | |
| download | compcert-e231ac08558e959f2ea2664082c62ced9e485c1b.tar.gz compcert-e231ac08558e959f2ea2664082c62ced9e485c1b.zip | |
Ajout de dependances dans extraction/Makefile
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@80 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
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 04878c75..72bf244a 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 \ |