Frama-C Bug Tracking System - Frama-C
View Issue Details
0001418Frama-CKernel > configurepublic2013-05-09 09:512013-05-09 09:51
aogrcs 
virgile 
normalmajoralways
assignedopen 
 
 
0001418: Fatal error: exception Env.Error("C:\Frama-C\lib/pervasives.cmi")
When I did as the INSTALL file said every time under Cygwin, the configure command always gave me this messag, why? Thanks
No tags attached.
Issue History
2013-05-09 09:51aogrcsNew Issue
2013-05-09 09:51aogrcsStatusnew => assigned
2013-05-09 09:51aogrcsAssigned To => virgile

There are no notes attached to this issue.