--- layout: fc_discuss_archives title: Message 41 from Frama-C-discuss on June 2015 ---
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>