5 Sep
2006
5 Sep
'06
8:33 a.m.
"Roland" == Roland Levillain <roland@lrde.epita.fr> writes:
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.
Si les archis sont identiques, aucun intérêt.