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



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