diff options
author | Cyril SIX <cyril.six@kalray.eu> | 2018-05-24 15:06:18 +0200 |
---|---|---|
committer | Cyril SIX <cyril.six@kalray.eu> | 2018-09-06 15:58:30 +0200 |
commit | 0236781c3ff798b60c5c8171a0f9b6cd569f7995 (patch) | |
tree | 117e80f627ac331c066db3140a14040603118424 /Makefile | |
parent | 265fdd4f703b0310fbcf5ad448c29dc34f7ff33a (diff) | |
download | compcert-kvx-0236781c3ff798b60c5c8171a0f9b6cd569f7995.tar.gz compcert-kvx-0236781c3ff798b60c5c8171a0f9b6cd569f7995.zip |
Machblock: Mach language with basic blocks
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -95,6 +95,7 @@ BACKEND=\ Debugvar.v Debugvarproof.v \ Mach.v \ Bounds.v Stacklayout.v Stacking.v Stackingproof.v \ + Machblock.v Machblockgen.v Machblockgenproof.v \ Asm.v Asmgen.v Asmgenproof0.v Asmgenproof1.v Asmgenproof.v # C front-end modules (in cfrontend/) @@ -118,7 +119,7 @@ PARSER=Cabs.v Parser.v # Putting everything together (in driver/) -DRIVER=Compopts.v Compiler.v Complements.v +DRIVER=Compopts.v Compiler.v Complements.v ForwardSimulationBlock.v # All source files |