--- layout: fc_discuss_archives title: Message 33 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 of frama-c-sodium-20150201



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