--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on May 2012 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Dynlink on WIndows



Hello,

I am trying to compile Frama-C on Windows XP with Cygwin and MinGW.
Does anybody know in which cases the Dynlink library is there,
but not really available ? The configure says:

configure:2253: *******************************************************
configure:2255: * CONFIGURE TOOLS AND LIBRARIES USED BY SOME PLUG-INS *
configure:2257: *******************************************************
...
configure:8274: checking for C:\Program Files\OCaml\lib/dynlink.cmxa
configure:8288: result: yes
configure:8359: checking for dynlink
configure:8372: result: no
configure:2253: *************************************

It seemed to me that some users are using dynamic plugins with windows,
but I might be wrong...

Thanks for your help,
-- 
Anne.