Make install removes files
ID0000116: This issue was created automatically from Mantis Issue 116. Further discussion may take place here.
|Reporter||sboldo||Assigned To||signoles||Resolution||unable to reproduce|
|Product Version||Frama-C GIT, precise the release id||Target Version||-||Fixed in Version||-|
When I want to install Frama-C after compiling the svn version , I have problems due to the fact that "make install" tries to removes files. This is disturbing as a make install is not supposed to modify the archive, but it also makes the installation fail.
As I am under NIS, root has no right to remove my files and the installation cannot finish:
rm: cannot remove `.depend': Permission denied /bin/sh: cannot create .depend: Permission denied /bin/sh: cannot create .depend: Permission denied make: *** [.depend] Error 2
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information