From c9dd5a0f4fba0ec77b27595e0e620a728774c268 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Wed, 24 Feb 2021 12:58:46 +0100 Subject: [PATCH] [configure] only consider major revisions of LLVM also prepare running tests on LLVM 11. --- configure.ac | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/configure.ac b/configure.ac index 51ec8038..6b53effa 100644 --- a/configure.ac +++ b/configure.ac @@ -87,14 +87,14 @@ LLVM_SHARED_MODE=$($LLVM_CONFIG --shared-mode) RUN_TESTS=no case $LLVM_VERSION in - 6.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]);; - 7.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]);; - 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]);; + 6.*) AC_MSG_RESULT([$LLVM_VERSION: Good]);; + 7.*) AC_MSG_RESULT([$LLVM_VERSION: Good]);; + 8.*) AC_MSG_RESULT([$LLVM_VERSION: Good]);; + 9.*) AC_MSG_RESULT([$LLVM_VERSION: Good]); RUN_TESTS=yes;; + 10.*) AC_MSG_RESULT([$LLVM_VERSION: Good]); RUN_TESTS=yes;; + 11.*) AC_MSG_RESULT([$LLVM_VERSION: Good]); RUN_TESTS=yes;; *) 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]]);; + [[LLVM Version $LLVM_VERSION is not supported. Please install LLVM 6.x, 7.x, 8.x, 9.x, 10.x, or 11.x]]);; esac LLVM_CONFIG="$LLVM_CONFIG $LLVM_STATIC" -- GitLab