--- layout: fc_discuss_archives title: Message 60 from Frama-C-discuss on December 2009 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Running ocaml on cygwin




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