--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on October 2008 ---
Hi again, I would appreciate if someone could assist me with a compile problem. This is on a openSUSE box: ocaml-3.10.2-1.pm.1 camlp4-3.10.2-1.pm.1 SDL_ocaml-devel-0.7.2-0.pm.3 SDL_ocaml-0.7.2-0.pm.3 lablgtk2-2.10.1-0.pm.1 qtcurve-gtk2-0.45.3-18 gtk2-2.10.6-13 gtk2-engines-2.8.1-16 lablgtk2-devel-2.10.1-0.pm.1 gcc-4.1.3-29 I get this error: The files /usr/lib/ocaml/threads/thread.cmi and intf/preferences.cmi make inconsistent assumptions over interface Thread make[1]: *** [intf/stat.cmx] Error 2 Any assistance would be appreciated. Kind Regards Birger -------------- next part -------------- An HTML attachment was scrubbed... URL: http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20081008/3179b7af/attachment.htm