> Claro. Pero tambien podrias instalar el Bison nuevo en un directorio
> privado ($HOME/bison-1.875 por ej.) y especificarlo a configure,
>
> BISON=$HOME/bison-1.875/bin/bison ./configure --enable-...
>
> Asi no necesitas desinstalarlo despues.
>
muchisimas gracias Alvaro!!!!.
Voy a hacer eso.