--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on December 2009 ---
The DLL is located in C:\Frama-C\lib\stublibs -----Original Message----- From: frama-c-discuss-bounces at lists.gforge.inria.fr [mailto:frama-c-discuss-bounces at lists.gforge.inria.fr] On Behalf Of Hollas Boris (CR/AEY1) Sent: jeudi 3 d?cembre 2009 16:06 To: Frama-C public discussion Subject: Re: [Frama-c-discuss] Running ocaml on cygwin 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 _______________________________________________ Frama-c-discuss mailing list Frama-c-discuss at lists.gforge.inria.fr http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss