Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0001418Frama-CKernel > configurepublic2013-05-09 09:512013-05-09 09:51
Reporteraogrcs 
Assigned Tovirgile 
PrioritynormalSeveritymajorReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
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

-  Notes
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


Copyright © 2000 - 2019 MantisBT Team
Powered by Mantis Bugtracker