diff options
author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-04-28 18:14:53 +0200 |
---|---|---|
committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2021-04-28 18:14:53 +0200 |
commit | af2c82cfd7f2318fcd81da2ea4cf3fd695db3b40 (patch) | |
tree | 7a5f98548a3e3e0497231627166738253cbce506 /configure | |
parent | 71d69df10047aa5710adb4bcdc75e18bec4dbf27 (diff) | |
download | compcert-kvx-af2c82cfd7f2318fcd81da2ea4cf3fd695db3b40.tar.gz compcert-kvx-af2c82cfd7f2318fcd81da2ea4cf3fd695db3b40.zip |
start the new "BTL" IR.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -817,7 +817,7 @@ fi if [ "$arch" = "aarch64" ]; then # for aarch64 scheduling cat >> Makefile.config <<EOF ARCHDIRS=$arch scheduling/abstractbb scheduling/postpass_lib -BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v OptionMonad.v IterList.v \\ +BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v IterList.v \\ Asmblock.v Asmblockgen.v Asmblockgenproof0.v Asmblockgenproof1.v Asmblockgenproof.v Asm.v Asmblockprops.v\\ ForwardSimulationBlock.v PostpassScheduling.v PostpassSchedulingproof.v\\ Asmblockdeps.v\\ |