--- layout: fc_discuss_archives title: Message 42 from Frama-C-discuss on February 2012 ---
[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>