Skip to content
Snippets Groups Projects
Commit c9dd5a0f authored by Virgile Prevosto's avatar Virgile Prevosto
Browse files

[configure] only consider major revisions of LLVM

also prepare running tests on LLVM 11.
parent 300ea938
No related branches found
No related tags found
No related merge requests found
......@@ -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"
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment