From 300ea9388b31e26ffdaaf75630e33c64ab24e9e2 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Mon, 16 Nov 2020 17:48:32 +0100
Subject: [PATCH] reference for test oracles is still llvm-10
---
configure.ac | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/configure.ac b/configure.ac
index d85fa9ac..51ec8038 100644
--- a/configure.ac
+++ b/configure.ac
@@ -92,7 +92,7 @@ case $LLVM_VERSION in
8.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]);;
9.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]); RUN_TESTS=yes;;
10.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]); RUN_TESTS=yes;;
- 11.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]); RUN_TESTS=yes;;
+ 11.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]);;
*) plugin_disable(frama_clang,
[[LLVM Version $LLVM_VERSION is not supported. Please install LLVM 6.0.x, 7.0.x, 8.0.x, 9.0.x, or 10.0.x]]);;
esac
--
GitLab