diff options
| author | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-07 16:24:32 +0200 |
|---|---|---|
| committer | Sylvain Boulmé <sylvain.boulme@univ-grenoble-alpes.fr> | 2020-05-07 16:24:32 +0200 |
| commit | 4437429b60a8302a31e1b0e15a8eec3255b88ec7 (patch) | |
| tree | 227b3581f88c3449e4a0c305defe43934e3dd5cf /configure | |
| parent | 8cd6c4e287a5aef7b8451b8abcfcac51c59662e3 (diff) | |
| download | compcert-kvx-4437429b60a8302a31e1b0e15a8eec3255b88ec7.tar.gz compcert-kvx-4437429b60a8302a31e1b0e15a8eec3255b88ec7.zip | |
configure for aarch64_block
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 9 |
1 files changed, 9 insertions, 0 deletions
@@ -838,6 +838,15 @@ RESPONSEFILE="none" EOF fi +if [ "$arch" = "aarch64" ]; then +cat >> Makefile.config <<EOF +ARCHDIRS=$arch mppa_k1c/lib mppa_k1c/abstractbb mppa_k1c/abstractbb/Impure +BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v OptionMonad.v IterList.v PseudoAsmblock.v PseudoAsmblockproof.v ForwardSimulationBlock.v \\ + AbstractBasicBlocksDef.v SeqSimuTheory.v ImpSimuTest.v Parallelizability.v\\ + ImpConfig.v ImpCore.v ImpExtern.v ImpHCons.v ImpIO.v ImpLoops.v ImpMonads.v ImpPrelude.v +EOF +fi + if [ "$arch" = "mppa_k1c" ]; then cat >> Makefile.config <<EOF ARCHDIRS=$arch $arch/lib $arch/abstractbb $arch/abstractbb/Impure |