Frama-C-discuss mailing list archives

This page gathers the archives of the old Frama-C-discuss archives, that was hosted by Inria's gforge before its demise at the end of 2020. To search for mails newer than September 2020, please visit the page of the new mailing list on Renater.

[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

Now its showing this error.



On Fri, Jun 5, 2015 at 2:20 PM, Virgile Prevosto <virgile.prevosto at>

> Hello,
> 2015-06-05 8:55 GMT+02:00 Gaurav Tripathi < at>:
> > 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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Error2.png
Type: image/png
Size: 147582 bytes
Desc: not available
URL: <>