diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-09-04 17:53:21 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-09-06 15:59:07 +0200 |
| commit | 1412a262c0bb95ebc78ac7c4d79e0fa81954c82a (patch) | |
| tree | 1b5dca24847b29b1a5129f2f1a0b0b1eededa566 /Makefile | |
| parent | d1c08acee2c3aca35a2dd31b69f7cde852069f6c (diff) | |
| download | compcert-kvx-1412a262c0bb95ebc78ac7c4d79e0fa81954c82a.tar.gz compcert-kvx-1412a262c0bb95ebc78ac7c4d79e0fa81954c82a.zip | |
Asmblock -> Asm presque fini.. erreur sur driver/Compiler.v
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -97,7 +97,7 @@ BACKEND=\ Bounds.v Stacklayout.v Stacking.v Stackingproof.v \ Machblock.v Machblockgen.v Machblockgenproof.v \ Asmblock.v Asmblockgen.v Asmblockgenproof.v \ - Asm.v Asmgen.v Asmgenproof0.v Asmgenproof1.v Asmgenproof.v + Asm.v Asmgen.v Asmgenproof.v # C front-end modules (in cfrontend/) |