[Projects] Re: Build farm sur brasilia

> Akim Demaille <akim(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. Mais j'aimerais une version avec stlport.