2021-01-15 17:52 CET

View Issue Details Jump to Notes ]
IDProjectCategoryView StatusLast Update
0001418Frama-CKernel > configurepublic2013-05-09 09:51
Reporteraogrcs 
Assigned Tovirgile 
PrioritynormalSeveritymajorReproducibilityalways
StatusassignedResolutionopen 
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?

Thanks
TagsNo tags attached.
Attached Files

-Relationships
+Relationships

-Notes
There are no notes attached to this issue.
+Notes

-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