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

reference for test oracles is still llvm-10

parent 29831ae5
No related branches found
No related tags found
No related merge requests found
......@@ -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
......
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