diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2018-09-24 14:39:32 +0200 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2018-09-24 14:39:32 +0200 |
| commit | 7f82b7c266e9b5673c3e088c46aab7cc2bd4f3f0 (patch) | |
| tree | 12bb9a92bf3ad1b69d560cc04d68ae74fe90e96a /Makefile | |
| parent | 4cc8ba6663f9e41ac45a1a2e0fbb7ef360342162 (diff) | |
| download | compcert-kvx-7f82b7c266e9b5673c3e088c46aab7cc2bd4f3f0.tar.gz compcert-kvx-7f82b7c266e9b5673c3e088c46aab7cc2bd4f3f0.zip | |
a few stubs for bundling
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -97,6 +97,7 @@ BACKEND=\ Bounds.v Stacklayout.v Stacking.v Stackingproof.v \ Machblock.v Machblockgen.v Machblockgenproof.v \ Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof.v \ + Asmbundle.v Asmbundling.v Asmbundlingproof.v \ Asm.v Asmgen.v Asmgenproof.v # C front-end modules (in cfrontend/) |