actions done with make install -n (svn 10897)

ID0000637: This issue was created automatically from Mantis Issue 637. Further discussion may take place here.

---

Id	Project	Category	View	Due Date	Updated
ID0000637	Frama-C	Kernel > Makefile	public	2010-12-13	2014-02-12

Reporter	sduprat	Assigned To	signoles	Resolution	fixed
Priority	normal	Severity	minor	Reproducibility	always
Platform	-	OS	-	OS Version	-
Product Version	Frama-C GIT, precise the release id	Target Version	-	Fixed in Version	Frama-C Carbon-20110201

Description :

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