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