Frama-C Bug Tracking System - Frama-C
View Issue Details
0000183Frama-CKernelpublic2009-07-13 07:422009-09-02 10:54
Jonathan-Christofer Demay 
virgile 
normalminoralways
closedfixed 
Frama-C Beryllium-20090601-beta1 
Frama-C Beryllium-20090901 
0000183: 'make top' fails
frama-c-Beryllium-20090601-beta1 # make top Ocamlc src/toplevel/toplevel_topdirs.cmo Ocamlmktop bin/toplevel.top Error while linking src/lib/extlib.cmo: The external function `getperfcount' is not available make: *** [bin/toplevel.top] Error 2
No tags attached.
Issue History
2009-07-13 07:42Jonathan-Christofer DemayNew Issue
2009-07-16 18:27virgileStatusnew => confirmed
2009-07-16 18:44svnCheckin
2009-07-16 18:44svnStatusconfirmed => resolved
2009-07-16 18:44svnResolutionopen => fixed
2009-07-23 13:54signolesStatusresolved => assigned
2009-07-23 13:54signolesAssigned To => virgile
2009-07-23 13:54signolesStatusassigned => resolved
2009-07-23 13:54signolesFixed in Version => Frama-C Beryllium
2009-09-02 10:54signolesStatusresolved => closed

There are no notes attached to this issue.