diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-16 09:13:59 +0200 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-09-16 09:13:59 +0200 |
commit | 93f9aa39b2885f98bf2be89583102d5c7f4c6f22 (patch) | |
tree | 61403d2605dbb09ac46d4e14b89fb1ca04dbb801 /configure | |
parent | 6e4f49f7b8154d21c2c42f9978e6829d7a22a1de (diff) | |
download | compcert-kvx-93f9aa39b2885f98bf2be89583102d5c7f4c6f22.tar.gz compcert-kvx-93f9aa39b2885f98bf2be89583102d5c7f4c6f22.zip |
just missing OpWeights for AARCH64
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -689,6 +689,7 @@ echo "-R lib compcert.lib \ -R common compcert.common \ -R ${arch} compcert.${arch} \ -R backend compcert.backend \ +-R scheduling compcert.scheduling \ -R cfrontend compcert.cfrontend \ -R driver compcert.driver \ -R flocq compcert.flocq \ |