--- layout: fc_discuss_archives title: Message 59 from Frama-C-discuss on December 2009 ---
Can you zip your installation and upload it somewhere? My attempt to compile Beryllium2 on cygwin just failed: Error: Error on dynamically loaded library: dlllablgtk2.dll: Das angegebene Modul wurde nicht gefunden. make[1]: *** [view_graph/viewgraph.byte] Error 2 make[1]: Leaving directory `/cygdrive/c/cygwin/home/frama-c-Beryllium-20090902-why-2.21/ocamlgraph' make: *** [lib/graph.cmi] Error 2 ~/frama-c-Beryllium-20090902-why-2.21> -Boris