"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.
Akim Demaille akim@lrde.epita.fr writes:
"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.
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@lrde.epita.fr writes:
Akim Demaille akim@lrde.epita.fr writes:
"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.
Je suis du même avis. Je désactiverai Vaucanson sur brasilia dès que je verrai que tout fonctionne bien.
Mais j'aimerais une version avec stlport.
-
Akim Demaille -
Roland Levillain