Frama-C Bug Tracking System

View Issue Details Jump to Notes ] Related Changesets ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0000310Frama-CKernelpublic2009-11-02 15:362014-02-12 16:56
Reporterdoligez 
Assigned Tosignoles 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product VersionFrama-C Beryllium-20090902 
Target VersionFixed in VersionFrama-C Boron-20100401 
Summary0000310: Be careful when activating warnings.
Descriptionshared/Makefile.common contains the following line:

  FLAGS = -w Ael -warn-error A $(OCAML_ANNOT_OPTION) $(OPTIM)

Don't do that, it breaks your build every time a new warning is added to OCaml,
even if that warning is inactive by default. What you should do instead:

FLAGS = -w Z -warn-error A $(OCAML_ANNOT_OPTION) $(OPTIM)
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2009-11-02 15:36 doligez New Issue
2009-11-02 15:44 signoles Status new => assigned
2009-11-02 15:44 signoles Assigned To => signoles
2009-11-02 16:25 svn Checkin
2009-11-02 16:25 svn Status assigned => resolved
2009-11-02 16:25 svn Resolution open => fixed
2010-04-13 15:30 signoles Status resolved => new
2010-04-13 15:31 signoles Status new => closed
2010-04-13 15:33 signoles Fixed in Version => Frama-C Boron


Copyright © 2000 - 2017 MantisBT Team
Powered by Mantis Bugtracker