diff options
author | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-01-07 09:06:58 +0100 |
---|---|---|
committer | David Monniaux <David.Monniaux@univ-grenoble-alpes.fr> | 2022-01-07 09:06:58 +0100 |
commit | 0123035a0a6f05a75f64b13ddd16c78842ccec74 (patch) | |
tree | bfd5dd76c8e5e0440319c757580d9c68a7517b1e /config_kvx.sh | |
parent | 4f8bfe366d278012391231624b32e61af5882785 (diff) | |
download | compcert-kvx-0123035a0a6f05a75f64b13ddd16c78842ccec74.tar.gz compcert-kvx-0123035a0a6f05a75f64b13ddd16c78842ccec74.zip |
we need to use external Flocq, the one that goes with gappa lib
Diffstat (limited to 'config_kvx.sh')
-rwxr-xr-x | config_kvx.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/config_kvx.sh b/config_kvx.sh index 9040c23b..289f6f0a 100755 --- a/config_kvx.sh +++ b/config_kvx.sh @@ -1 +1 @@ -exec ./config_simple.sh kvx-cos "$@" +exec ./config_simple.sh kvx-cos -use-external-Flocq "$@" |