Frama-C Bug Tracking System - Frama-C
View Issue Details
0000236Frama-CGraphical User Interfacepublic2009-09-10 13:482014-02-12 16:56
mehdi 
signoles 
normalminoralways
closedfixed 
Frama-C Beryllium-20090901 
Frama-C Beryllium-20090902 
0000236: Error when linking the viewer
Hello, When compiling the viewer with a system installation of ocamlgraph, I get this error: Linking bin/viewer.byte File "_none_", line 1, characters 0-1: Error: Error while linking lib/gui/Syntactic_callgraph.cmo: Reference to undefined global `DGraphView' Please find attached a patch that fixes the issue. Kind regards,
No tags attached.
patch 0003-Add-dGraphView.cmo-when-linking.patch (721) 2009-09-10 13:48
https://bts.frama-c.com/file_download.php?file_id=18&type=bug
Issue History
2009-09-10 13:48mehdiNew Issue
2009-09-10 13:48mehdiFile Added: 0003-Add-dGraphView.cmo-when-linking.patch
2009-09-12 07:15signolesStatusnew => assigned
2009-09-12 07:15signolesAssigned To => signoles
2009-09-12 07:28signolesStatusassigned => acknowledged
2009-09-14 17:15signolesStatusacknowledged => confirmed
2009-09-14 17:59svnCheckin
2009-09-14 17:59svnStatusconfirmed => resolved
2009-09-14 17:59svnResolutionopen => fixed
2009-09-23 15:26signolesFixed in Version => Frama-C Beryllium 2
2009-09-23 20:22signolesStatusresolved => closed

There are no notes attached to this issue.