From 86c89d15a1f6e7cae4121b422c327c2012919b73 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Tue, 20 Aug 2019 20:05:23 +0200
Subject: [PATCH] Remove temporarily this test that doesn't work on nix

---
 configure.ac | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/configure.ac b/configure.ac
index 99a20584..ac465028 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)
-- 
GitLab