On 8/29/06, Roland Levillain roland@lrde.epita.fr wrote:
L'ideal serait meme de faire intervenir cette build apres celle avec gcc et entre les deux de faire un find _build -name '*.o' -exec rm -f {} ';' pour que le make ne refasse que la compilation du binaire (et ainsi economiser le temps de compilation Stratego -> C qui est non negligable).
Arg, tu veux modifier le build tree et le reconfigurer sans faire de `distclean' avant ! C'est pas sain. Le build ICC de Vaucanson est un projet indépendant de celui avec GCC ; je propose de faire pareil avec Transformers. Si c'est l'espace disque qui pose problème, on peut supprimer les produits des builds entre chaque projet si nécessaire.
Non, le but est d'économiser le temps de compilation des fichier stratego vers C qui est indépendant de l'environnement. Mais qui est très long. On peut penser à faire des Makefile qui gardent les .c générés sur un make dist avec une certaine option au configure. Dans ce cas, il serait bien de réutiiliser plutôt la tarball générée par make dist pour faire la compilation sous ICC.