--- layout: fc_discuss_archives title: Message 61 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



Hollas Boris (CR/AEY1) a ?crit :
> 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.

Have you set CAML_LD_LIBRARY_PATH to C:\Frama-C\lib\stublibs (maybe with 
some additional backslashes)?

--
Julien