--- layout: fc_discuss_archives title: Message 19 from Frama-C-discuss on October 2008 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Compile error



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