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

[Frama-c-discuss] Error while compilation and installation of frama-c-sodium-20150201



Check (at least) that i686-w64-mingw-as is installed and in your path.
 It might be in \mingw\bin if I believe what responses to very similar
problems have told when searching for them.

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

> Hello,
> Now its showing this error.
>
>
> Thanks.
>
> Regards,
> Gaurav
>
> On Fri, Jun 5, 2015 at 2:20 PM, Virgile Prevosto <virgile.prevosto at m4x.org
> > wrote:
>
>> Hello,
>>
>> 2015-06-05 8:55 GMT+02:00 Gaurav Tripathi <tripathigaurav.gt at gmail.com>:
>> > Hello,
>> > Below I have attached image showing error while compilation process.
>> > What is the error ? How should I rectify it.
>> >
>>
>> This is very probably due to the conjunction of several causes:
>> - . is in your cygwin PATH. In Unix parlance, this means that the
>> shell will search the current directory (.) for an executable of the
>> appropriate name when launching a command. This is in particular the
>> case for the install command which is traditionally used for copying
>> files when installing software (and in particular Frama-C). Note that
>> using '.' in the PATH is usually discouraged as being a potential
>> security risk (it may result in launching arbitrary executables if
>> running a shell script in the wrong directory).
>> - Unix file permissions system is not well reflected on DOS/Windows
>> filesystems, which may lead cygwin to consider the INSTALL file of
>> Frama-C distribution, a plain text file containing installation
>> instructions as having its executable bit set.
>> - A certain number of filesystems on DOS/Windows are not
>> case-sensitive, which means that install and INSTALL are considered to
>> be the same name.
>>
>> The shell thus tries to interpret INSTALL as an executable script,
>> which naturally ends up pretty badly. A work-around is to rename
>> INSTALL to something else, or avoid having . in your cygwin PATH
>> variable.
>>
>> Best regards,
>> --
>> E tutto per oggi, a la prossima volta
>> Virgile
>> _______________________________________________
>> 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
>
>
>
> _______________________________________________
> 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/01131d03/attachment.html>