Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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>