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

[Frama-c-discuss] Compile error



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
>
>