Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

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