31 Aug
2006
31 Aug
'06
3:20 p.m.
J'ai déplacé le répertoire de build sur brasilia, pour des raisons
d'espace disque. Les résultats de https://build.lrde.org/ risquent
d'être perturbés quelques heures.
Au passage, est-il nécessaire que Vaucanson soit construit sur
brasilia *et* caracas ? Apparemment, caracas se débrouille très bien
pour compiler Vaucanson, et j'aimerais ne conserver que le build
d'Olena sur brasilia.