Make install removes files
ID0000116: This issue was created automatically from Mantis Issue 116. Further discussion may take place here.
| Id | Project | Category | View | Due Date | Updated |
|---|---|---|---|---|---|
| ID0000116 | Frama-C | Kernel | public | 2009-06-05 | 2009-06-23 |
| Reporter | sboldo | Assigned To | signoles | Resolution | unable to reproduce |
| Priority | normal | Severity | minor | Reproducibility | always |
| Platform | - | OS | - | OS Version | - |
| Product Version | Frama-C GIT, precise the release id | Target Version | - | Fixed in Version | - |
Description :
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[1]: *** [.depend] Error 2