Frama-C Bug Tracking System - Frama-C | |||||
View Issue Details | |||||
ID | Project | Category | View Status | Date Submitted | Last Update |
0002462 | Frama-C | Plug-in > clang | public | 2019-07-04 19:49 | 2019-07-05 14:12 |
Reporter | ainne26 | ||||
---|---|---|---|---|---|
Assigned To | virgile | ||||
Priority | high | Severity | major | Reproducibility | always |
Status | assigned | Resolution | open | ||
Platform | OS | windows | OS Version | windows 10 | |
Product Version | |||||
Target Version | Fixed in Version | ||||
Summary | 0002462: frama-clang failed to install | ||||
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? | ||||
Tags | No tags attached. | ||||
Relationships | |||||
Attached Files |
Notes | |||||
|
|||||
|
|
||||
|
|||||
|
|
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 | bug_revision_view_page.php?bugnote_id=6813#r405 |