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] Frama-c in minGW, window _ fatal error

Hi Nguy?n,

I have done the procedure I described twice, and everything ran smoothly
for me, so I do not know specifically what the trouble may be, I am afraid.
On which OS version are you working? I have tested on MS Windows XP SP3.

It seems like that either your Ocaml installation is not correct, or the
Ocaml libraries are not found by ./configure.

Here is a wild guess: check the system environment variable OCAMLLIB. It
indicates where to find the installed Ocaml libraries and should point to
C:\Program\Ocaml\lib (or wherever you installed Ocaml). Normally the Ocaml
installer should have set this variable for you, but please check that.

Greetings,
Sylvain

PS: Alternatively, you may try the pre-compiled version Stephane Duprat has
published. Mr Duprat works for ATOS, which officially offers support for
Frama-C, so these binary deliverable can be trusted.


2012/2/10 Nguy?n C?nh Th??ng <ngcthuong at gmail.com>

>  Thanks Sylvain for the great support.
> I've been flollowed your guideline, but I got fatal error as:
>
>
>
> so, after step 8, I got error
>
>
> any explanations?
>
> Thanks;
>
> _______________________________________________
> Frama-c-discuss mailing list
> Frama-c-discuss at lists.gforge.inria.fr
> http://lists.gforge.inria.fr/cgi-bin/mailman/listinfo/frama-c-discuss
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120210/70765f11/attachment-0001.htm>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/png
Size: 13097 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120210/70765f11/attachment-0002.png>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: not available
Type: image/png
Size: 5153 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20120210/70765f11/attachment-0003.png>