Frama-C Bug Tracking System - Frama-C
View Issue Details
0000637Frama-CKernel > Makefilepublic2010-12-13 10:582014-02-12 16:55
sduprat 
signoles 
normalminoralways
closedfixed 
Frama-C GIT, precise the release id 
Frama-C Carbon-20110201 
0000637: actions done with make install -n (svn 10897)
Soit un rep d'installation que j'utilise dans la ligne configure et qui est vide au départ : ./configure -prefix dans l'arborescence frama-c, après avoir fait le make, je fais un "make install -n" et je m'attend à voir la liste des commandes de recopie dans le rep sans que les commandes soient effectuées (option -n). Enfin, je constate qu'une certaine partie des commandes ont été réalisées avec pour preuve la création du répertoire lib/frama-c dans . Stéphane Le 13/12/2010 10:06, BAUDIN Patrick a écrit : > Bonjour Stéphane, > Peut-tu être un peu plus explicite sur l'emplacement de ce répertoire lib > et sur son contenu (avant et après la commande) ? > Cdlt, > Patrick >> Bonjour, >> J'ai fait un "make install -n" qui a pris un peu de temps. >> Après vérification, le répertoire lib a été créé dans le répertoire cible, >> Cdlt, >> Stéphane
No tags attached.
Issue History
2010-12-13 10:58sdupratNew Issue
2010-12-13 10:58sdupratStatusnew => assigned
2010-12-13 10:58sdupratAssigned To => signoles
2010-12-13 11:01signolesStatusassigned => acknowledged
2010-12-21 15:51signolesNote Added: 0001344
2010-12-21 15:51signolesStatusacknowledged => confirmed
2010-12-21 16:22svnCheckin
2010-12-21 16:22svnStatusconfirmed => resolved
2010-12-21 16:22svnResolutionopen => fixed
2011-02-09 14:36signolesStatusresolved => closed
2011-02-09 14:37signolesFixed in Version => Frama-C Carbon-20110201

Notes
(0001344)
signoles   
2010-12-21 15:51   
Reproduced.