5 Sep
2006
5 Sep
'06
10:33 a.m.
>> "Roland" == Roland Levillain
<roland(a)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.