Frama-C Bug Tracking System - Frama-C
View Issue Details
0000310Frama-CKernelpublic2009-11-02 15:362014-02-12 16:56
Frama-C Beryllium-20090902 
Frama-C Boron-20100401 
0000310: Be careful when activating warnings.
shared/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)
No tags attached.
Issue History
2009-11-02 15:36doligezNew Issue
2009-11-02 15:44signolesStatusnew => assigned
2009-11-02 15:44signolesAssigned To => signoles
2009-11-02 16:25svnCheckin
2009-11-02 16:25svnStatusassigned => resolved
2009-11-02 16:25svnResolutionopen => fixed
2010-04-13 15:30signolesStatusresolved => new
2010-04-13 15:31signolesStatusnew => closed
2010-04-13 15:33signolesFixed in Version => Frama-C Boron

There are no notes attached to this issue.