diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-08-29 14:48:55 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-09-06 15:58:31 +0200 |
commit | e2c15a3957cfcbab1ff0aaf30a8450c3e177a30a (patch) | |
tree | eba0e185ab01f2215bccac4e156134097a436e7f /Makefile | |
parent | 96de003cd1b9e486781263a48ca10da047937c80 (diff) | |
download | compcert-kvx-e2c15a3957cfcbab1ff0aaf30a8450c3e177a30a.tar.gz compcert-kvx-e2c15a3957cfcbab1ff0aaf30a8450c3e177a30a.zip |
Asmblockgen.v finished (no proof yet)
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -96,7 +96,7 @@ BACKEND=\ Mach.v \ Bounds.v Stacklayout.v Stacking.v Stackingproof.v \ Machblock.v Machblockgen.v Machblockgenproof.v \ - Asmblock.v \ + Asmblock.v Asmblockgen.v \ Asm.v Asmgen.v Asmgenproof0.v Asmgenproof1.v Asmgenproof.v # C front-end modules (in cfrontend/) |