Frama-C Bug Tracking System
Main | My View | View Issues | Change Log | Roadmap | Repositories
  

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 - 2020 MantisBT Team
Powered by Mantis Bugtracker