--- layout: fc_discuss_archives title: Message 37 from Frama-C-discuss on June 2015 ---
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Frama-c-discuss] Error in configuration



The error you showed in your prior e-mail showed that your prior
configuration had passed this configuration step since you were compiling
ocamlgraph. What changes did you do to make it fail ?

On Fri, Jun 5, 2015 at 7:18 AM, Gaurav Tripathi <tripathigaurav.gt at gmail.com
> wrote:

> Hello,
>
> While configuring frama-c-Sodium it is showing error as *C compiler
> cannot create executables.*
>
> Also for gcc it is showing as *C:MinGWbingcc.exe* instead of
> *C:/MinGW/bin/gcc.exe *
>
> I tried to give hard coded value of CC in configure file still it didn't
> worked.
>
>
> Regards,
> Gaurav
>
> _______________________________________________
> 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
>



-- 
Richard Bonichon
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150605/f3c73958/attachment.html>