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