frama-clang failed to install
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?