--- layout: fc_discuss_archives title: Message 41 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 offrama-c-sodium-20150201



Hello Richard,
I installed  i686-w64-mingw-as and also added in my path. But still it
showing error.
I have attached attachment below.

Thanking you.

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

>  [image: Boxbe] <https://www.boxbe.com/overview> This message is eligible
> for Automatic Cleanup! (richard.bonichon at gmail.com) Add cleanup rule
> <https://www.boxbe.com/popup?url=https%3A%2F%2Fwww.boxbe.com%2Fcleanup%3Ftoken%3D8ynnQaFTV60McQCARARkKjpUyB8pJxBcJ9GWMowOB3%252BAiC1H5Yp4pJ1vPXNSBNEkF8nxkwpH%252FBuf7kTSNguCCiP%252Bs%252BgRphBVUpjSy%252FqMzdNKFmKP8jBUN2Z63f4GbBydV1EKXHvj9Xdmog519u3o2A%253D%253D%26key%3DldbltLbFiuWJM3DEa5R5VnRyWKq2VgCDbvAmFa8fXDY%253D&tc_serial=21555281067&tc_rand=1643121323&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001>
> | More info
> <http://blog.boxbe.com/general/boxbe-automatic-cleanup?tc_serial=21555281067&tc_rand=1643121323&utm_source=stf&utm_medium=email&utm_campaign=ANNO_CLEANUP_ADD&utm_content=001>
>
> 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
>
> _______________________________________________
> 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/20150608/5c7f70c9/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: err3.png
Type: image/png
Size: 147205 bytes
Desc: not available
URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150608/5c7f70c9/attachment-0001.png>