2021-02-24 18:47 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0002462Frama-CPlug-in > clangpublic2019-07-05 14:12
Assigned Tovirgile 
PlatformOSwindowsOS Versionwindows 10
Product Version 
Target VersionFixed in Version 
Summary0002462: frama-clang failed to install
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?
TagsNo tags attached.
Attached Files




virgile (developer)

If you don't mind, I'd prefer to concentrate all discussions on this issue in the github report at https://github.com/Frama-C/Frama-C-snapshot/issues/22 . Splitting them in two places will probably not lead to the most efficient solving process.


ainne26 (reporter)

Last edited: 2019-07-05 14:12

View 2 revisions

virgile I had followed the instruction given on github but unable to resolve this issue. So, its my humble request help me to resolve this issue because I am trying to resolve it from previous 15 days and tried my best but unable to do it.


-Issue History
Date Modified Username Field Change
2019-07-04 19:49 ainne26 New Issue
2019-07-04 19:49 ainne26 Status new => assigned
2019-07-04 19:49 ainne26 Assigned To => virgile
2019-07-05 10:37 virgile Note Added: 0006811
2019-07-05 10:37 virgile Status assigned => feedback
2019-07-05 14:12 ainne26 Note Added: 0006813
2019-07-05 14:12 ainne26 Status feedback => assigned
2019-07-05 14:12 ainne26 Note Edited: 0006813 View Revisions
+Issue History