Skip to content
Snippets Groups Projects
Commit 919ee246 authored by Basile Desloges's avatar Basile Desloges Committed by Virgile Prevosto
Browse files

Update configure.ac to support Debian's flavour of clang versions

parent 73faec56
No related branches found
No related tags found
No related merge requests found
......@@ -60,9 +60,9 @@ AC_SUBST(RUN_TESTS)
DEFAULT_FC_C_HEADERS=$datarootdir/frama-c/libc
DEFAULT_FC_CXX_HEADERS=$datarootdir/libc++
AC_CHECK_PROGS([CLANG],[clang clang-9.0 clang-8.0 clang-7.0 clang-6.0],no)
AC_CHECK_PROGS([CLANGXX],[clang++ clang++-9.0 clang++-8.0 clang++-7.0 clang++6.0],no)
AC_CHECK_PROGS([LLVM_CONFIG],[llvm-config llvm-config-9.0 llvm-config-8.0 llvm-config-7.0 llvm-config-6.0],no)
AC_CHECK_PROGS([CLANG],[clang clang-10 clang-9 clang-8 clang-7 clang-6.0],no)
AC_CHECK_PROGS([CLANGXX],[clang++ clang++-10 clang++-9 clang++-8 clang++-7 clang++6.0],no)
AC_CHECK_PROGS([LLVM_CONFIG],[llvm-config llvm-config-10 llvm-config-9 llvm-config-8 llvm-config-7 llvm-config-6.0],no)
if test "$LLVM_CONFIG" = "no"; then
plugin_disable(frama_clang,[llvm-config not found]);
......@@ -94,8 +94,9 @@ case $LLVM_VERSION in
7.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]);;
8.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]); RUN_TESTS=yes;;
9.0.*) AC_MSG_RESULT([$LLVM_VERSION: Good]); RUN_TESTS=yes;;
10.0.*) 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, or 9.0.x]]);;
[[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
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