ID0000225: **This issue was created automatically from Mantis Issue 225. Further discussion may take place here.** --- | **Id** | **Project** | **Category** | **View** | **Due Date** | **Updated** | | --- | --- | --- | --- | --- | --- | | ID0000225 | Frama-C | Graphical User Interface | public | 2009-09-01 | 2009-09-09 | | | | | | | | | --- | --- | --- | --- | --- | --- | | **Reporter** | mehdi | **Assigned To** | signoles | **Resolution** | fixed | | **Priority** | normal | **Severity** | minor | **Reproducibility** | always | | **Platform** | - | **OS** | - | **OS Version** | - | | **Product Version** | Frama-C Beryllium-20090601-beta1 | **Target Version** | - | **Fixed in Version** | Frama-C Beryllium-20090901 | ### Description : Hi, When compiling the viewer using a system-installation of ocamlgraph, the compilation fails with the following error: ocamlc.opt -w Ael -warn-error A -annot -I src/misc -I src/ai -I src/memory_state -I src/toplevel -I src/slicing_types -I src/pdg_types -I src/kernel -I src/logic -I src/lib -I src/project -I src/buckx -I external -I cil/src -I cil/src/ext -I cil/src/frontc -I cil/src/logic -I cil/ocamlutil -I lib/plugins -I lib -I +ocamlgraph -g -I src/gui -I +lablgtk2 -I +ocamlgraph -linkall -custom -o bin/viewer.byte nums.cma unix.cma bigarray.cma str.cma dynlink.cma src/buckx/mybigarray.o src/buckx/buckx_c.o graph.cma /usr/lib/ocaml/ocamlgraph/viewGraph.cmo /usr/lib/ocaml/ocamlgraph/viewGraph_select.cmo /usr/lib/ocaml/ocamlgraph/viewGraph_utils.cmo lablgtk.cma lablgnomecanvas.cma lablgtksourceview.cma /usr/lib/ocaml/ocamlgraph/viewGraph.cmo /usr/lib/ocaml/ocamlgraph/viewGraph_select.cmo /usr/lib/ocaml/ocamlgraph/viewGraph_utils.cmo [...] File "_none_", line 1, characters 0-1: Error: Error while linking /usr/lib/ocaml/ocamlgraph/viewGraph.cmo: Reference to undefined global `GnoCanvas' As you can see, viewGraph.cmo (and friends) are specified twice when linking and between the two groups there is lablgnomecanvas.cma which is needed by viewGraph.cmo. Please find attached a patch that fixes this issue. Kind regards, ## Attachments - [0002-Do-not-add-GRAPH_GUICMO-to-BYTE_GUI_LIBS.patch](/uploads/2a2f35dda8b3eb544d3cb94fe4af1e7b/0002-Do-not-add-GRAPH_GUICMO-to-BYTE_GUI_LIBS.patch)