--- layout: fc_discuss_archives title: Message 34 from Frama-C-discuss on June 2015 ---
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 -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150605/e3b7eaef/attachment-0001.html> -------------- next part -------------- A non-text attachment was scrubbed... Name: Error2.png Type: image/png Size: 147582 bytes Desc: not available URL: <http://lists.gforge.inria.fr/pipermail/frama-c-discuss/attachments/20150605/e3b7eaef/attachment-0001.png>