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 /Makefile.extr | |
parent | 6e4f49f7b8154d21c2c42f9978e6829d7a22a1de (diff) | |
download | compcert-kvx-93f9aa39b2885f98bf2be89583102d5c7f4c6f22.tar.gz compcert-kvx-93f9aa39b2885f98bf2be89583102d5c7f4c6f22.zip |
just missing OpWeights for AARCH64
Diffstat (limited to 'Makefile.extr')
-rw-r--r-- | Makefile.extr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Makefile.extr b/Makefile.extr index 5e328a4c..1a894a16 100644 --- a/Makefile.extr +++ b/Makefile.extr @@ -42,7 +42,7 @@ cparser/pre_parser_messages.ml: # Directories containing plain Caml code DIRS=extraction \ - lib common $(ARCH) backend cfrontend cparser driver \ + lib common $(ARCH) scheduling backend cfrontend cparser driver \ exportclight debug kvx/unittest lib/Impure/ocaml \ kvx/lib |