--- layout: fc_discuss_archives title: Message 38 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



I deleted that source file ,again I downloaded and when I configured it was
showing this error.

On Fri, Jun 5, 2015 at 3:54 PM, Richard Bonichon <richard.bonichon at gmail.com
> wrote:

> 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
>
> _______________________________________________
> 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/20150605/e77c3db8/attachment.html>