Fatal error: exception Env.Error("C:\Frama-C\lib/pervasives.cmi")
ID0001418: This issue was created automatically from Mantis Issue 1418. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0001418 | Frama-C | Kernel > configure | public | 2013-05-09 | 2013-05-09 |
| Reporter | aogrcs | Assigned To | virgile | Resolution | open |
| Priority | normal | Severity | major | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | - | Target Version | - | Fixed in Version | - |
Description :
When I did as the INSTALL file said every time under Cygwin, the configure command always gave me this messag, why?
Thanks