2021-01-15 17:52 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001418Frama-CKernel > configurepublic2013-05-09 09:51
Assigned Tovirgile 
Product Version 
Target VersionFixed in Version 
Summary0001418: Fatal error: exception Env.Error("C:\Frama-C\lib/pervasives.cmi")
DescriptionWhen I did as the INSTALL file said every time under Cygwin, the configure command always gave me this messag, why?

TagsNo tags attached.
Attached Files


There are no notes attached to this issue.

-Issue History
Date Modified Username Field Change
2013-05-09 09:51 aogrcs New Issue
2013-05-09 09:51 aogrcs Status new => assigned
2013-05-09 09:51 aogrcs Assigned To => virgile
+Issue History