5 Sep
2006
5 Sep
'06
11:47 a.m.
Akim Demaille <akim(a)lrde.epita.fr> writes:
Je suis du même avis. Je désactiverai Vaucanson sur brasilia dès que
je verrai que tout fonctionne bien.
>>
"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.