ID0002462: **This issue was created automatically from Mantis Issue 2462. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0002462 | Frama-C | Plug-in > clang | public | 2019-07-04 | 2019-07-05 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | ainne26 | **Assigned To** | virgile | **Resolution** | open | | **Priority** | high | **Severity** | major | **Reproducibility** | always | | **Platform** | - | **OS** | windows | **OS Version** | windows 10 | | **Product Version** | - | **Target Version** | - | **Fixed in Version** | - | ### Description : Hi, I'm trying to install the Frama-Clang plugin on windows 10 following the instruction on the website. But the command $ ./configure checking for frama-c-gui... yes checking for Makefile.config.in... yes frama_clang... yes checking for g++... g++ checking whether the C++ compiler works... yes checking for C++ compiler default output file name... a.exe checking for suffix of executables... .exe checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking for camlp4o... yes checking for clang... clang checking for clang++... clang++ checking for llvm-config... llvm-config checking for D:\llvm-project-master\llvm\build\Debug/include/clang... no configure: WARNING: frama_clang disabled because clang dev headers not found. configure: frama_clang: no configure: creating ./config.status config.status: creating ./Makefile.config chmod: ./Makefile.config: new permissions are r--rw-r--, not r--r--r--` I don't know how to solve this problem, any suggestions?