--- layout: fc_discuss_archives title: Message 46 from Frama-C-discuss on May 2012 ---
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.