--- layout: fc_discuss_archives title: Message 20 from Frama-C-discuss on October 2008 ---
I thought it could be worthwhile information that errors of this sort are not just for OpenSUSE - on Fedora 9: ... The files intf/config.cmi and intf/preferences.cmi make inconsistent assumptions over interface GContainer make[1]: *** [intf/stat.cmx] Error 2 make[1]: Leaving directory `/home/adunn/frama-c-Helium-20080701/why' make: *** [why] Error 2 (I hadn't tried compiling the Why part until now as I didn't want to overwrite my previous Why installation, though since I now hear that there's nothing different about the Why in Frama-C...) - Alan On Wed, Oct 8, 2008 at 7:16 AM, Birger Kollstrand <bk@wprmedical.com> wrote: > 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 > > _______________________________________________ > Frama-c-discuss mailing list > Frama-c-discuss@lists.gforge.inria.fr > http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss > >