diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-02-01 16:30:40 +0100 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2021-02-01 16:30:40 +0100 |
| commit | 2e635ffa6693be77004e398f7dd3c2ed6bb6bca0 (patch) | |
| tree | feb07e023ef7a4bf0e54da7835db69c196b78325 /configure | |
| parent | 52f602db7f306441cfa509cee7cce8cf8567ddc1 (diff) | |
| download | compcert-kvx-2e635ffa6693be77004e398f7dd3c2ed6bb6bca0.tar.gz compcert-kvx-2e635ffa6693be77004e398f7dd3c2ed6bb6bca0.zip | |
fix Makefile / configure
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 6 insertions, 0 deletions
@@ -842,6 +842,12 @@ BACKENDLIB=Machblock.v Machblockgen.v Machblockgenproof.v\\ EOF fi +if [ "$arch" = "riscV" ] ; then +cat >> Makefile.config <<EOF +BACKENDLIB=Asmgenproof0.v Asmgenproof1.v ExtValues.v +EOF +fi + # # Generate Merlin and CoqProject files to simplify development # |