View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||||
ID | Project | Category | View Status | Date Submitted | Last Update | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
0001418 | Frama-C | Kernel > configure | public | 2013-05-09 09:51 | 2013-05-09 09:51 | ||||||||
Reporter | aogrcs | ||||||||||||
Assigned To | virgile | ||||||||||||
Priority | normal | Severity | major | Reproducibility | always | ||||||||
Status | assigned | Resolution | open | ||||||||||
Product Version | |||||||||||||
Target Version | Fixed in Version | ||||||||||||
Summary | 0001418: Fatal error: exception Env.Error("C:\Frama-C\lib/pervasives.cmi") | ||||||||||||
Description | When I did as the INSTALL file said every time under Cygwin, the configure command always gave me this messag, why? Thanks | ||||||||||||
Tags | No tags attached. | ||||||||||||
Attached Files |
|