diff --git a/configure.ac b/configure.ac index 99a20584a359eafed7d5a0b60664cbec9e683678..ac465028b2bc3d63bcb6bf094c35b036cda571e2 100644 --- a/configure.ac +++ b/configure.ac @@ -75,11 +75,6 @@ if test "$CLANG++" = "no"; then plugin_disable(frama_clang,[clang++ not found]); fi -if test "$LLVM_CONFIG" != "no"; then - AC_CHECK_FILE([$($LLVM_CONFIG --includedir)/clang],[], - [plugin_disable(frama_clang,clang dev headers not found.);]) -fi - if test "$ENABLE_FRAMA_CLANG" != "no"; then LLVM_VERSION=$($LLVM_CONFIG --version)